Toggle Main Menu Toggle Search

Open Access padlockePrints

Analysis of Safety Requirements in the Context of System Faults and Human Errors

Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed



This paper describes an approach to the incremental and iterative analysis of requirements for safety-critical systems. The novel feature of the approach is that properties related to users of safety-critical systems are also considered in the analysis. Safety strategies are developed to ensure that hazard states are avoided and the system's integrity is maintained in the presence of failures in the system components. The approach supports an understanding of human error and the formulation of human error tolerance requirements ensuring that safety is preserved in the presence of user errors. The approach is illustrated with an example from the aerospace industry, and complementary safety strategies that allocate functionality to both the pilot and the computing systems are presented.

Publication metadata

Author(s): de Lemos R, Fields R, Saeed A

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 23

Print publication date: 01/02/1995

Source Publication Date: February 1995

Report Number: 504

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

Place Published: Newcastle upon Tyne