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

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 safetycritical systems since any faults in the requirements specification will corrupt the subsequent stages of system development. Experience in safetycritical 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 safetycritical systems. The analysis is performed in two distinct phases; for each phase we propose different formalisms and time structures. The specification of the timing constraints is based on an event/action model. To illustrate the proposed approach an example based on a train set crossing is presented.


Publication metadata

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

Editor(s): Vytopil, J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Formal Techniques in Real-Time and Fault-Tolerant Systems. 2nd International Symposium

Year of Conference: 1991

Pages: 171-192

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-55092-5_10

DOI: 10.1007/3-540-55092-5_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540550921


Share