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

Author(s): de Lemos, R., Saeed, A. and Anderson, T.

Abstact: 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.