Laura M. Ippolito, Dolores R. Wallace, "A Study on Hazard
Analysis in High Integrity Software Standards and Guidelines,"
NISTIR 5589, National Institute of Standards and Technology,
Gaithersburg, MD 20899, January, 1995.

This report presents the results of a review of the types of
hazard analysis that are necessary in the design of high
integrity, small, real-time safety systems for nuclear power
plants.  The report describes types of system hazard analysis,
types of software hazard analysis, techniques for conducting
software hazard analysis, and other practices/processes that
should be employed in order to ensure the safety of software.

Keywords:
Criticality Assessment;System Hazard Analysis;Software Hazard Analysis;
Event Tree Analysis;Hazard and Operability Studies;Nuclear Safety Cross Check Analysis;Petri Nets;Software Sneak Analysis;Failure Mode, Effects and Criticality Analysis;FMEA; Failure Mode Analyses Matrix; System Fault Tree;
Software Fault Tree;CSHA;ETA;FMA;FMECA;FTA;Fault Tree Analysis;Nuclear Safety Cross Check Analysis; SDHA; SFMEA; SFMECA; Software Fault Tree Analysis;Software Requirements Hazard Analysis;