40 Years of Computing at Newcastle

Department Technical Report Series No. 460

Requirements analysis for safety-critical systems: a chemical batch processing example

R. de Lemos
A. Saeed
T. Anderson

University of Newcastle upon Tyne. 1994

Abstract

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.