Toggle Main Menu Toggle Search

Open Access padlockePrints

An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems

Lookup NU author(s): Dr Amer Saeed, Dr Rogerio De Lemos, Emeritus Professor Tom Anderson



Requirements analysis plays a vital role in the development of safety- critical systems since any faults in the final requirements specification will corrupt the subsequent stages of system development. Experience in safety-critical systems has shown that faults in the requirements specifications can and do cause accidents. In this paper we deal with techniques that can be used to reduce (or eliminate) the possibility of a hazard occurring because of faults introduced during requirements analysis. We describe how requirements specifications are produced by exploiting a framework, and show how the quality of these specifications can be assessed by qualitative and quantitative means. To illustrate the proposed techniques an example based on a train set crossing is presented.

Publication metadata

Author(s): Saeed A, de Lemos R, Anderson T

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1992

Pages: 28

Print publication date: 01/04/1992

Source Publication Date: April 1992

Report Number: 381

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne