In: Proceedings of the Annual Reliability and Maintainability Symposium, 1989, Atlanta, GA, USA, pages 46-49. Piscataway, NJ, USA: IEEE Service Center, 1989.
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.