Toggle Main Menu Toggle Search

Open Access padlockePrints

On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems

Lookup NU author(s): Dr Rogerio De Lemos



Experience has shown that in computer based safety-critical systems, faults introduced during the phase of software requirements analysis can and do cause accidents. In this paper, we present an approach for integrating the activities of requirements analysis and safety analysis. The aim of safety analysis is to determine the risk associated with requirements specifications and assess whether this is acceptable within the context of system risk. The advantage of conducting the safety analysis during the early phases of software development is that safety related errors are less likely to propagate through to subsequent phases of development. The applicability of the proposed approach is demonstrated by conducting the safety analysis of an example based on a train set crossing. The example illustrates how the approach to safety analysis supports verification within a formal model of the train set system and how the validation of the formal model is performed.

Publication metadata

Author(s): de Lemos R

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1998

Pages: 28

Print publication date: 01/01/1998

Source Publication Date: 1998

Report Number: 630

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne