Toggle Main Menu Toggle Search

Open Access padlockePrints

An Approach for the Risk Analysis of Safety Specifications

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

Downloads


Abstract

Experience in safety-critical systems has shown that faults introduced during requirements analysis can and do cause accidents. Within a methodology for the systematic production of requirements specifications for safety, based on a framework to structure the analysis and the application of formal techniques, we focus, in this paper, on the risk analysis of the specifications. This has the aim to locate and remove faults during the requirements phase, rather than later in development or during the operational lifetime of the system. The applicability of the proposed approach is demonstrated by conducting the risk analysis of an example based on a train set crossing. The example illustrates how the approach to risk analysis supports verification within a formal model and how the validation of the formal model is performed.


Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1994

Pages: 26

Print publication date: 01/06/1994

Source Publication Date: June 1994

Report Number: 484

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/484.pdf


Share