Integrated safety analysis of requirements specifications (original) (raw)

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.

Access this article

Log in via an institution

Subscribe and save

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Heimdahl MPE, Leveson NG. Completeness and consistency checking of software requirements. IEEE, Trans Software Eng, 1996; 22(n6)
  2. 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
    Article Google Scholar
  3. Leveson NG. Safeware: system safety and computers. Addison-Wesley, Reading, MA, 1995
    Google Scholar
  4. Leveson N, Cha S, Shimeall T. Safety verification of ada programs using software fault trees. IEEE Software 1991; 8(7): 48–59
    Article Google Scholar
  5. Leveson NG, Stolzy JL. Safety analysis using Petri nets. IEEE Trans Software Eng 1987; 13(3) 386–397
    Article Google Scholar
  6. Ratan V, Partridge K, Reese JD, Leveson NG. Safety analysis tools for requirements specifications. COMPASS 96, Gaithersburg, MD, June 1996
  7. Hynes C. An example guidance mode specification. Technical report, NASA, Ames, 1995
    Google Scholar
  8. Jaffe MS. Completeness, robustness, and safety of real-time requirements specification. PhD dissertation, UCI, June 1988
  9. Jackson MA. Principles of program design. Academic Press, New York, 1975
    Google Scholar
  10. Heitmeyer CL, Labaw BL, Kiskis K. Consistency checking of SCR-style requirements specifications. In: Proceedings of the international symposium on requirements engineering, 1995
  11. Heninger KL. Specifying software for complex systems: new techniques and their application. IEEE Trans Software Eng 1980; 6(1): 2–13
    Article Google Scholar
  12. 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
  13. Reese JD. Software deviation analysis. PhD Dissertation, UCI, 1996
  14. 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
  15. Leveson NG, Heimdahl MPE, Hildreth H, Reese JD. Requirements specification for process-control systems. IEEE Trans Software Eng 1994; 20(9): 684–707
    Article Google Scholar

Download references

Author information

Authors and Affiliations

  1. Computer Science and Engineering University of Washington, 98195-2350, Seattle, WA, USA
    F. Modugno, N. G. Leveson, J. D. Reese, K. Partridge & S. D. Sandys

Authors

  1. F. Modugno
  2. N. G. Leveson
  3. J. D. Reese
  4. K. Partridge
  5. S. D. Sandys

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

Download citation

Keywords