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.
Back to the Petri Nets Bibliography