Browse by author
Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed, Emeritus Professor Tom Anderson
Requirements analysis plays a vital role in the development of safety-critical systems since any faults in the requirements specification will corrupt the subsequent stages of system development. Experience in safety-critical systems has shown that faults in the requirements can and do cause accidents. This paper presents a general framework for the requirements analysis of safety-critical systems, which incorporates the verification and validation of the safety specifications produced during the analysis, and propose feasibility analysis to asses whether the development of the system (as described by the requirements specification) should continue. To illustrate the proposed approach an example based on a train set crossing is presented.
Author(s): de Lemos R, Saeed A, Anderson T
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1991
Pages: 22
Print publication date: 01/08/1991
Source Publication Date: August 1991
Report Number: 341
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/341.pdf
