Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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