Browse by author
Lookup NU author(s): Dr Amer Saeed, Dr Rogerio De Lemos, Emeritus Professor Tom Anderson
Requirements analysis plays a vital role in the development of safety- critical systems since any faults in the final requirements specification will corrupt the subsequent stages of system development. Experience in safety-critical systems has shown that faults in the requirements specifications can and do cause accidents. In this paper we deal with techniques that can be used to reduce (or eliminate) the possibility of a hazard occurring because of faults introduced during requirements analysis. We describe how requirements specifications are produced by exploiting a framework, and show how the quality of these specifications can be assessed by qualitative and quantitative means. To illustrate the proposed techniques an example based on a train set crossing is presented.
Author(s): Saeed A, de Lemos R, Anderson T
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1992
Pages: 28
Print publication date: 01/04/1992
Source Publication Date: April 1992
Report Number: 381
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/381.pdf
