A framework to integrate software behavior into dynamic probabilistic risk assessment

Reliability Engineering and System Safety

Volumn 92, Issue 12, 2007, Pages 1733-1755

  Zhu, Dongfeng ^a   Mosleh, Ali ^a   Smidts, Carol ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Dynamic PRA; Probabilistic risk assessment; Software modeling

Indexed keywords

DYNAMIC PROBABILISTIC RISK ASSESSMENT; MULTI-LEVEL OBJECTS; SOFTWARE BEHAVIOR; SYSTEM RISK;

COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS; PROBABILITY; RISK ASSESSMENT;

SAFETY ENGINEERING;

EID: 34447630784     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2006.09.024     Document Type: Article

References (46)

1. Labeau P.E., Smidts C., and Swaminathan S. Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliab Eng Syst Saf 68 3 (2000) 219-254
2. Ammar H.H., Nikzadeh T., and Dugan J.B. Risk assessment of software-system specifications. IEEE Trans Reliab 50 2 (2001)
3. Dugan J.B. Software reliability analysis using fault tree. In: Lyu M. (Ed) (1995), McGraw-Hill, New York
4. Lutz RR. Analyzing software requirements errors in safety-critical embedded systems, 1992.
5. Li B. Integrating software into PRA (probabilistic risk assessment) (2004), University of Maryland, College Park
6. Lee AT, Gunn TR. A quantitative risk assessment method for space flight software systems. Denver, Colorado, 1993.
7. Schneidewind N.F., and Keller T.W. Applying reliability models to the space shuttle. IEEE Software (1992)
8. Yacoub S.M., and Ammar H.H. A methodology for architecture-level reliability risk analysis. IEEE Trans Software Eng 28 6 (2002)
9. Li B, Li M, Ghose S, Smidts C. Integrating software into PRA, Denver, 2003. p. 457-67.
10. Li B, Li M, Smidts C. Integrating software into PRA: a taxonomy of software related failures. In: Sixth IEEE international symposium on high assurance systems engineering, Boca Raton, FL, 2001.
11. Li B, Li M, Smidts C. Integrating software into PRA: a test-based approach, Berlin, 2004. p. 140-5.
12. Musa J.D. Operational profiles in software-reliability engineering. Software IEEE 10 2 (1993) 14-32
13. Labeau P.E., Smidts C., and Swaminathan S. Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliab Eng Syst Saf 68 3 (2000) 219-254
14. Siu N. Risk assessment for dynamic systems: an overview. Reliab Eng Syst Saf 43 1 (1994) 43-73
15. Amendola A., and Reina G. Event sequences and consequence spectrum: a methodology for probabilistic transient analysis. Nucl Sci Eng 77 3 (1981) 297-315
16. Dugan J.B., Bavuso S.J., and Boyd M.A. Dynamic fault-tree model for fault-tolerant computer systems. IEEE Trans Reliab 41 3 (1992) 363-377
17. Cepin M., and Mavko B. A dynamic fault tree. Reliab Eng Syst Saf 75 1 (2002) 83-91
18. Petri C.A. Kommunikation mit Automaten (1962), Technische Universität Darmstadt, German
19. Desel J, Juhás G. "What Is a Petri Net?" Informal answers for the informed reader. Unifying Petri Nets: advances in Petri Nets 2001; 2128.
20. Murata T. Petri nets: properties, analysis and applications. Proc IEEE 77 4 (1989) 541-580
21. Houtermans M., Apostolakis G., Brombacher A., and Karydas D. The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification. Saf Sci 40 9 (2002) 813-833
22. Matsuoka T., and Kobayashi M. GO-FLOW: a new reliability analysis methodology. Nucl Sci Eng 98 (1988) 64-78
23. Swaminathan S., and Smidts C. The event sequence diagram framework for dynamic probabilistic risk assessment. Reliab Eng Syst Saf 63 1 (1999) 73-90
24. Swaminathan S., and Smidts C. Identification of missing scenarios in ESDs using probabilistic dynamics. Reliab Eng Syst Saf 66 3 (1999) 275-279
25. Swaminathan S., and Smidts C. The mathematical formulation for the event sequence diagram framework. Reliab Eng Syst Saf 65 2 (1999) 103-118
26. Devooght J., and Smidts C. Probabilistic dynamics as a tool for dynamic PSA. Reliab Eng Syst Saf 52 3 (1996) 185-196
27. Izquierdo J, Labeau PE. The stimulus-driven theory of probabilistic dynamics as a framework for probabilistic safety assessment, 2004.
28. Mosleh A, Groen F, Hu Y, Nejad H, Zhu D, Piers T. Simulation-based probabilistic risk analysis report. Center for Risk and Reliability, University of Maryland; 2004.
29. Hu Y, Groen F, Mosleh A. An entropy-based exploration strategy in dynamic PRA, Berlin, 2004.
30. Frantz FK. A taxonomy of model abstraction techniques. Washington, DC, December 3-6, 1995, p. 1413-20.
31. Caughlin D, Sisti AF. A summary of model abstraction techniques. Orlando, FL, April 22-24, 1997, p. 2-13.
32. Harel D. StateCharts: a visual formalism for complex system. Sci Comput Program 8 (1987) 231-274
33. Rational Software Co. Unified Modeling Language v. 1.1, Semantics, 1997.
34. Peterson J.L. Petri net theory and the modeling of systems (1981), Prentice-Hall PTR, Englewood Cliffs, NJ (x, 290p)
35. Gamma E. Design patterns: elements of reusable object-oriented software (1995), Addison-Wesley, Longman, Reading, MA
36. Zhu D. Integrating software behavior into dynamic probabilistic risk assessment (2005), University of Maryland, College Park
37. Standards Coordinating Committee of the IEEE Computer Society. IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12. 1990.
38. The Mathworks Inc. MATLAB User's manual, revised for Matlab 6.0 (Release 12), 2000.
39. Fishman C. They write the right stuff, 〈http://www.fastcompany.com/online/06/writestuff.html〉. Fastcompany December 1996/January 1997, p. 95.
40. Nejad H., and Mosleh A. Automated risk scenario generation using system functional and structural knowledge (2005), The American Society of Mechanical Engineers, Orlando
41. Garg S, van Moorsel A, Vaidyanathan K, Trivedi KS. A methodology for detection and estimation of software aging, Paderborn, 1998, p. 283-92.
42. The Institute of Electrical and Electronics Engineers. IEEE standard dictionary of measures to produce reliable software, ANSI/IEEE Std. 982.1. 1988.
43. Lindley D.V. On the measure of information provided by an experiment. Ann Statist 27 4 (1956) 986-1005
44. Shannon C.E. Mathematical theory of communication. Bell Labs Tech J 27 (1948) 379-457
45. Shannon C.E., and Weaver W. The mathematical theory of communication (1949), University of Illinois Press, Urbana (v(i.e. vii), 117p)
46. Modarres M. What every engineer should know about reliability and risk analysis (1993), Marcel Dekker, New York (x, 350p)