Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Techniques for Requirements Analysis for Safe Reactor Control

Lookup NU author(s): Dr Amer Saeed, Dr Rogerio De Lemos, Emeritus Professor Tom Anderson



Requirements analysis plays a vital role in software development, since defective requirements specifications may introduce faults during subsequent phases of software development which can lead to accidents. In this paper we discuss a methodology, based on formal notations, to support requirements analysis for safety-critical systems. The proposed methodology consists of a framework whose phases are based on levels of abstraction which follow from a general structure for process control systems, a set of notations appropriate for the issues to be analysed at each phase of the framework, and a hierarchical structure for the product of the analysis. The intention is to locate and remove faults during the requirements phase, rather than later in development during the operational lifetime of the system. Some aspects of the methodology are illustrated using an example based on a nuclear reactor system.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1993

Pages: 20

Print publication date: 01/05/1993

Source Publication Date: May 1993

Report Number: 430

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne