Browse by author
Lookup NU author(s): Dr Rogerio De Lemos,
Dr Amer Saeed,
Emeritus Professor Tom Anderson
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
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
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science