Toggle Main Menu Toggle Search

Open Access padlockePrints

Requirements Specification and Verification for Safety-critical Systems

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.

Publication metadata

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