Fault tree analysis for software design

Proceedings - 27th Annual NASA Goddard / IEEE Software Engineering Workshop, SEW 2002

Volumn , Issue , 2003, Pages 24-29

  Towhidnejad, M ^a,b   Wallace, D R ^b   Gallo, A M ^c  

^a EMBRY RIDDLE AERONAUTICAL UNIVERSITY   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

^c SATC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); NASA; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPACE FLIGHT; TECHNICAL PRESENTATIONS;

COMMERCIAL TOOLS; CRITICAL CODES; DESIGN DIAGRAMS; NASA GODDARD SPACE FLIGHT CENTER; RESEARCH EFFORTS; SOFTWARE ASSURANCE; SOFTWARE FAULT TREE ANALYSIS; SOFTWARE PROJECT;

FAULT TREE ANALYSIS;

EID: 84962764258     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2002.1199446     Document Type: Conference Paper

References (11)

1. NUREG-0492, Fault Tree Handbook, U.S. Nuclear Regulatory Commission, January, 1981.
2. Jaffe, M. S., N. G. Leveson, M. P. E. Heimdahl, and B. E. Melhart,), "Software Requirements Analysis for Real-Time Process-Control Systems," IEEE Transactions on Software Engineering, 1991, 17, 3, 241-257.
3. Leveson, N. G. and P. R. Harvey, "Analyzing Software Safety", IEEE Transactions on Software Engineering, Vol. SE-9, No. 5, September 1983, pp. 569-579.
4. Lutz, R. R., "Targeting Safety-Related Errors During Software Requirements Analysis," Journal of Systems and Software, 1996, 34, 223-230.
5. Lutz, R. R. and R. M. Woodhouse, "Requirements Analysis Using Forward and Backward Search," Annals of Software Engineering, Special Volume on Requirements Engineering, 3 (1997), pp 459-475.
6. Helmer, G., Slagell, M., Honavar, V., Miller, L. and Lutz, R., "A Software Fault Tree Approach to Requirement Analysis of an Intrusion Detection System" Symposium on Requirements Engineering for Information Security, March 5-6, 2001.
7. Modugno, F., Leveson, N.G., Reese, J. D., Partridge, K. and S. D. Sandys, "Integrated Safety Analysis of Requirements Specifications", IEEE International Symposium on Requirements Engineering, 1997.
8. Leveson, N. G., Safeware: System Safety and Computers, Addison Wesley, Reading, MA, 1995.
9. OMG Unified Modeling Language, Version 1.4, September, 2001, http://www.omg.org/cgi-bin/doc?formal/01-09-67
10. Dugan J.B., Sullivan, K. J., and D. Coppit, Developing a High-Quality Software Tool for Fault Tree Analysis, Proceedings of the International Symposium on Software Reliability Engineering, pages 222-31, Boca Raton, Florida, November 1999.
11. th International Symposium on Software Reliability Engineering, IEEE Computer Society, Annapolis, MD, USA, November, 2002, pp. 243-254.