Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/504.pdf
