Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Francesmary Modugno , University of Washington
Nancy G. Leveson , University of Washington
Jon D. Reese , University of Washington
Kurt Partridge , University of Washington
Sean D. Sandys , University of Washington
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.
software safety, software safety analysis, software requirements specification
F. Modugno, N. G. Leveson, J. D. Reese, S. D. Sandys and K. Partridge, "Integrated Safety Analysis of Requirements Specifications," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 148.