Toggle Main Menu Toggle Search

Open Access padlockePrints

An Approach to the Requirements Analysis of Safety-Critical Systems

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

Downloads


Abstract

An approach to requirements analysis, based on a formal notation, for a specific class of safety-critical systems is presented. The benefits of employing a formal method and the attributes that a suitable method should possess are briefly discussed. The suggested approach places emphasis on the specification of safety and timing issues. We describe a general framework for requirements analysis which separates the formal analysis into two distinct levels of abstraction and maintains a distinction between safety and mission issues. A logical formalism, Timed History Logic, is introduced as a formal notation to express the requirements specifications. To illustrate the proposed approach an example based on a simple chemical plant is presented. This example serves to demonstrate how the constructs of Timed History Logic can be used to express the requirements specifications and provide support for their verification.


Publication metadata

Author(s): Saeed A, Anderson T

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1992

Pages: 24

Print publication date: 01/04/1992

Source Publication Date: April 1992

Report Number: 380

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/380.pdf


Share