Safety verification of ADA programs using software fault trees

IEEE Software

Volumn 8, Issue 4, 1991, Pages 48-59

  Leveson, Nancy G ^a   Cha, Stephen S ^a   Shimeall, Timothy J ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; STREET TRAFFIC CONTROL;

ADA PROGRAMS SAFETY VERIFICATION; FAILURE MODE TEMPLATES; SAFETY-CRITICAL PROJECTS; SOFTWARE FAULT-TREE ANALYSIS; TRAFFIC LIGHT CONTROL SYSTEM;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0026188075     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.300036     Document Type: Article

References (10)

1. N.G. Leveson, “Software Safety: What, Why, and How,” ACM Computing Surveys, June 1986, pp. 125–164.
2. N. G. Leveson and P. R. Harvey, “Analyzing Software Safety,” IEEE Trans. Software Eng., Sept. 1983, pp. 569–579.
3. W. F. Vesely et al., Fault-Tree Handbook, Reg. 0492, US Nuclear Regulatory Comm., Washington, D.C., Jan. 1981.
4. F.W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 1976.
5. W. C. Bowman et al., “An Application of Fault-Tree Analysis to Safety-Critical Software at Ontario Hydro,” Probabilistic Safety Assessment and Management, G. Apostolakis, ed., Elsevier, New York, 1991, pp. 363–368.
6. J. Lamb, “The Everyday Risks of Playing It Safe,” New Scientist, Sept. 1988, pp. 373–379.
7. N. G. Leveson and J. L. Stolzy, “Safety Analysis Using Petri Nets,” IEEE Trans. Software Eng., March 1987, pp. 386–397.
8. B. F. Melhart, Specification and Analysis of the Requirements for Embedded Software with an External interaction Model, doctoral dissertation, Information and Computer Science Dept., Univ. of California, Irvine, Calif., July 1990.
9. S. S. Cha, A Safety-Verification Technique, doctoral dissertation. Information and Computer Science, Univ. of California, Irvine, Calif., June 1991.
10. J. W. McIntee. Jr., “Fault-Tree Techniques as Applied to Software (Soft Tree),” tech. report, US Air Force, Norton AFB, Calif., March 1983.