Title :
Survey of available software-safety analysis techniques
Author_Institution :
Ford Aerosp. Corp., Colorado Springs, CO, USA
Abstract :
A survey is presented of the various software safety analysis techniques and methodologies. The techniques include software fault trees, sneak circuit analysis, nuclear safety cross-check analysis (NSCCA) and Petri nets. The author defines each technique as it applies to software safety and the utility of each model and its applicability based on system complexity
Keywords :
safety; software reliability; Petri nets; nuclear safety cross-check analysis; sneak circuit analysis; software fault trees; software-safety analysis techniques; system complexity; Aerospace safety; Circuit analysis; Circuit faults; Fault diagnosis; Fault trees; Hardware; Hazards; Performance analysis; Petri nets; Software safety;
Conference_Titel :
Reliability and Maintainability Symposium, 1989. Proceedings., Annual
Conference_Location :
Atlanta, GA
DOI :
10.1109/ARMS.1989.49571
