Toggle Main Menu Toggle Search

Open Access padlockePrints

Analysis of Timeliness Requirements in Safety-Critical Systems

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

Downloads


Abstract

Requirements analysis plays a vital role in the devlopment of safety criticl 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 accidents. this paper presents a general framework for the analysis of timeliness requirements in safteycritical systems. the analysis is performed in two distinct phases; for each phase we propose different formalisms and time structures. The specification and time structures. The specification of the timing constraints is based on and event/action model. To illustrate the proposed approach an example based on a train set is presented.


Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1991

Pages: 28

Print publication date: 01/11/1991

Source Publication Date: November 1991

Report Number: 359

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/359.pdf


Share