Survey of available software-safety analysis techniques
Malte Hansen · 2003
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.>