Software requirements analysis for real-time process-control systems

Author

Jaffe, Matthew S. ; Leveson, Nancy G. ; Heimdahl, Mats P E ; Melhart, Bonnie E.

Author_Institution

Hughes Aircraft Co., Fullerton, CA, USA

Volume

17

Issue

3

fYear

1991

fDate

3/1/1991 12:00:00 AM

Firstpage

241

Lastpage

258

Abstract

A set of criteria is defined to help find errors in, software requirements specifications. Only analysis criteria that examine the behavioral description of the computer are considered. The behavior of the software is described in terms of observable phenomena external to the software. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements

Keywords

formal specification; process computer control; real-time systems; abstract state-machine model; ambiguity; observable phenomena; real-time process-control systems; robustness; semantic analysis; software requirements; software requirements specifications; Aircraft manufacture; Computer science; Control systems; Process control; Programming; Prototypes; Real time systems; Robustness; Safety; Software prototyping;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.75414

Filename

75414