Toggle Main Menu Toggle Search

Open Access padlockePrints

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems

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

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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 disasters. The analysis of the safety requirements of a train set system is discussed in terms of a general framework for the requirements analysis of safety-critical systems. This framework is based on the clear separation of the mission and safety issues, and also on the separation of the analysis, into two phases, to be performed in terms of the properties of the real world, i.e. physical laws and rules of operation, and the properties of the system, i.e. the mapping of the real world properties in terms of the system sensors and actuators. Due to the different expressive needs of the two phases we propose the utilisation of different formal models, respectively, a logical formalism (Timed History Logic) and a net formalism (Predicate-Transition nets).


Publication metadata

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

Publication type: Article

Publication status: Published

Journal: The Computer Journal

Year: 1992

Volume: 35

Issue: 1

Pages: 30-40

ISSN (print): 0010-4620

ISSN (electronic): 1460-2067

Publisher: Oxford University Press

URL: http://dx.doi.org/10.1093/comjnl/35.1.30

DOI: 10.1093/comjnl/35.1.30


Altmetrics

Altmetrics provided by Altmetric


Share