Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/430.pdf