Integrated safety analysis of requirements specifications

Heimdahl MPE, Leveson NG. Completeness and consistency checking of software requirements. IEEE, Trans Software Eng, 1996; 22(n6)

Jaffe MS, Leveson NG, Heimdahl MPE, Melhart BE. Software requirements analysis for real-time process-control systems. IEEE Trans Software Eng 1991; 17(3): 241–258

Leveson NG. Safeware: system safety and computers. Addison-Wesley, Reading, MA, 1995

Leveson N, Cha S, Shimeall T. Safety verification of ada programs using software fault trees. IEEE Software 1991; 8(7): 48–59

Leveson NG, Stolzy JL. Safety analysis using Petri nets. IEEE Trans Software Eng 1987; 13(3) 386–397

Ratan V, Partridge K, Reese JD, Leveson NG. Safety analysis tools for requirements specifications. COMPASS 96, Gaithersburg, MD, June 1996

Hynes C. An example guidance mode specification. Technical report, NASA, Ames, 1995

Jaffe MS. Completeness, robustness, and safety of real-time requirements specification. PhD dissertation, UCI, June 1988

Jackson MA. Principles of program design. Academic Press, New York, 1975

Heitmeyer CL, Labaw BL, Kiskis K. Consistency checking of SCR-style requirements specifications. In: Proceedings of the international symposium on requirements engineering, 1995

Heninger KL. Specifying software for complex systems: new techniques and their application. IEEE Trans Software Eng 1980; 6(1): 2–13

Lutz R. Targeting safety-related errors during software requirements analysis. In: Proceedings of the first ACM SIGSOFT symposium on the foundations of software engineering, 1993

Reese JD. Software deviation analysis. PhD Dissertation, UCI, 1996

Andow PK, Lees FP, Murphy CP. The propagation of faults in process plants: a state of the art review. 7th international symposium on chemical process hazards, University of Manchester, 1980

Leveson NG, Heimdahl MPE, Hildreth H, Reese JD. Requirements specification for process-control systems. IEEE Trans Software Eng 1994; 20(9): 684–707