Toggle Main Menu Toggle Search

Open Access padlockePrints

On Formal Support for Industrial Scale Requirements Analysis

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


Full text is not currently available for this publication.


Drawing on practical experience in the development of dependable applications, this paper presents a number of "goals" for industrially applicable formal techniques in the specification and analysis of requirements for hybrid systems. These goals stem from domain-specific concerns such as the division between environment, plant and controller; and from the development context with its wide variety of analysis and design activities. Motivated by some of these goals, we present a methodology, based on formal methods, for the requirements analysis of hybrid systems that are safety-critical. This methodology comprises a framework whose stages are based on levels of abstraction that follow a general structure for process control systems, a set of techniques appropriate for the issues to be analysed at each stage of the framework, and a hierarchical structure for the product of the analysis. The paper also discusses the techniques which should be employed for the quality assessment of the requirements specifications, in terms of qualitative ways of obtaining high confidence that the level of risk is acceptable. Some aspects of the methodology are exemplified through two case studies. The extent to which this approach meets the goals espoused earlier is discussed.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1993

Pages: 26

Report Number: 412

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

Place Published: Newcastle upon Tyne