Title :
From safety analysis to software requirements
Author :
Hansen, Kirsten M. ; Ravn, Anders P. ; Stavridou, Victoria
Author_Institution :
Danish Nat. Rail Agency, Copenhagen, Denmark
fDate :
7/1/1998 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
