Browse by author
Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed, Emeritus Professor Tom Anderson
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.
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
