Toggle Main Menu Toggle Search

Open Access padlockePrints

Robust Requirements Specifications for Safety-Critical Systems

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

Downloads


Abstract

Experience in safety-critical systems has shown that deviations from assumed behaviour can and do cause accidents. This suggests that the development of requirements specifications for such systems should be supported with a risk analysis. In this paper we present an approach to the development of robust requirements specifications (i.e. specifications that are adequate for the risks involved), based on qualitative and quantitative analyses.


Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1993

Pages: 18

Print publication date: 01/10/1993

Source Publication Date: October 1993

Report Number: 451

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/451.pdf


Share