From safety analysis to software requirements

Author

Hansen, Kirsten M. ; Ravn, Anders P. ; Stavridou, Victoria

Author_Institution

Danish Nat. Rail Agency, Copenhagen, Denmark

Volume

24

Issue

7

fYear

1998

fDate

7/1/1998 12:00:00 AM

Firstpage

573

Lastpage

584

Abstract

Software for safety critical systems must deal with the hazards identified by safety analysis. This paper investigates, how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process. We propose that fault tree analysis and program development use the same system model. This model is formalized in a real-time, interval logic, based on a conventional dynamic systems model with state evolving over time. Fault trees are interpreted as temporal formulas, and it is shown how such formulas can be used for deriving safety requirements for software components

Keywords

fault trees; formal specification; real-time systems; safety-critical software; temporal logic; fault trees; formal methods; program design process; real-time interval logic; real-time systems; requirements engineering; safety analysis; safety critical systems; software components; software requirements; software safety requirements; temporal formulas; temporal logic; Aerospace control; Aerospace engineering; Digital-to-frequency converters; Fault trees; Hardware; Logic; NASA; Real time systems; Reliability engineering; Software safety;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.708570

Filename

708570