Abstract
This paper describes an integrated approach to safety analysis of software requirements and demonstrates the feasibility and utility of applying the individual techniques and the integrated approach on the requirements specification of a guidance system for a high-speed civil transport being developed at NASA Ames. Each analysis found different types of errors in the specification; thus together the techniques provided a more comprehensive safety analysis than any individual technique. We also discovered that the more the analyst knew about the application and the model, the more successful they were in finding errors. Our findings imply that the most effective safety-analysis tools will assist rather than replace the analyst.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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
Author information
Authors and Affiliations
Additional information
A shorter version of this paper appeared in the Proceedings of the 3rd International Symposium on Requirements Engineering, Annapolis, Maryland, January 1997. The research described has been partly funded by NASA/Langley Grant NAG-1-1495, NSF Grant CCR-9396181, and the California PATH Program of the University of California
Rights and permissions
About this article
Cite this article
Modugno, F., Leveson, N.G., Reese, J.D. et al. Integrated safety analysis of requirements specifications. Requirements Eng 2, 65–78 (1997). https://doi.org/10.1007/BF02813026
Issue Date:
DOI: https://doi.org/10.1007/BF02813026