The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1998 vol.24)
pp: 573-584
ABSTRACT
<p><b>Abstract</b>—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.</p>
INDEX TERMS
Safety analysis, fault trees, requirements engineering, formal methods, temporal logic, real-time systems.
CITATION
Kirsten M. Hansen, Anders P. Ravn, Victoria Stavridou, "From Safety Analysis to Software Requirements", IEEE Transactions on Software Engineering, vol.24, no. 7, pp. 573-584, July 1998, doi:10.1109/32.708570
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool