Browse by author
Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed, Emeritus Professor Tom Anderson
Full text is not currently available for this publication.
An essential basis for the development of software for safety-critical systems is to establish high-quality requirements specifications. In this paper we present a methodology for requirements analysis that consists of: a framework which facilitates the systematic analysis of the safety requirements, a graph which records the safety specifications and their relationships, and a set of procedures for the quality analysis of the safety specifications. To illustrate the approach a case study, based on chemical batch processing, is presented.
Author(s): de Lemos R, Saeed A, Anderson T
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1994
Pages: 38
Print publication date: 01/01/1994
Source Publication Date: January 1994
Report Number: 469
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/469.pdf