Title :
Automated software fault-tree analysis of Pascal programs
Author :
Friedman, Michael A.
Author_Institution :
Hughes Aircraft Co., Fullerton, CA, USA
Abstract :
Software fault-tree analysis is based on a series of templates that each map programming language constructs to a subtree. The tool reads in a Pascal program and a software-caused hazard (postcondition), and fills it in template subtrees that correspond to the program´s constructs. These subtrees are arranged in a tree of AND and OR gates in which the top event is the postcondition
Keywords :
Pascal; failure analysis; software reliability; software tools; Pascal program; postcondition; programming language constructs; software fault-tree analysis; template subtrees; Aircraft manufacture; Computer languages; Fault trees; Hazards; Injuries; Laboratories; Missiles; Software safety; Software tools; Telephony;
Conference_Titel :
Reliability and Maintainability Symposium, 1993. Proceedings., Annual
Conference_Location :
Atlanta, GA
Print_ISBN :
0-7803-0943-X
DOI :
10.1109/RAMS.1993.296815
