Quantifying Minimum-Time-To-Intrusion Based on Dynamic Software Safety Assessment

2000 ◽  
Author(s):  
Jeffery M. Voas ◽  
Gary McGraw ◽  
Anup Ghosh ◽  
Frank Charron ◽  
Michael Schatz
1988 ◽  
Vol 21 (18) ◽  
pp. 1-6 ◽  
Author(s):  
G. Dahll ◽  
U. Mainka ◽  
J. Märtz

Author(s):  
Jean-Paul Blanquart ◽  
Philippe Baufreton ◽  
Jean-Louis Boulanger ◽  
Jean-Louis Camus ◽  
Cyrille Comar ◽  
...  

Author(s):  
Shinji Inoue ◽  
Takaji Fujiwara ◽  
Shigeru Yamada

Quantitative and analytical safety assessment methods of E/E/PE safety-related software systems based on the SIL defined by IEC 61508 have been proposed. IEC 61508 does not provide us with quantitative and analytical methods for safety assessment of the software. Our methods give us quantitative information on safety measures for deciding the safety integrity level and testing time duration for achieving certain safety integrity level of E/E/PE software, respectively. Our stochastic modeling approaches are based on software reliability modeling and software reliability assessment techniques. Numerical examples for our methods have been shown for explaining how to use our software safety assessment approaches conforming IEC 61508.


Sign in / Sign up

Export Citation Format

Share Document