Survey of available software-safety analysis techniques

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.<>