Browse by author
Lookup NU author(s): Dr Amer Saeed, Emeritus Professor Tom Anderson
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.
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
