Toggle Main Menu Toggle Search

Open Access padlockePrints

Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example

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.

Publication metadata

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