For the most recent entries see the Petri Nets Newsletter.

Survey of Available Software-Safety Analysis Techniques.

Hansen, M.D.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography