40 Years of Computing at Newcastle

Department Technical Report Series No. 493

On the safety analysis of requirements specifications

R. de Lemos
A. Saeed
T. Anderson

University of Newcastle upon Tyne. 1994

Abstract

For safety-critical systems, it is most efficient to consider safety concerns as early as possible during system development in order to ensure that safety problems do not propagate through to subsequent phases of development. In this paper, we present an approach for the safety analysis of requirements specifications that complements a framework for the analysis of safety requirements. The aim of the safety analysis is to assess, in parallel with the requirements analysis, if the risk associated with requirements specifications is acceptable.


Department Technical Report Series - 1994
Department Technical Report Series Index
Contents Page - 40 Years of Computing at Newcastle
Technical Report Abstract No. 493, 30 June 1997