From Safety Analysis to Formal Specification

Kirsten Mark Hansen; Anders P. Ravn; Victoria Stavridou

From Safety Analysis to Formal Specification

Kirsten Mark Hansen
, Anders P. Ravn
, Victoria Stavridou

SRI International

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

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

Original language	English
Journal	I E E E Transactions on Software Engineering
Volume	24
Issue number	7
Pages (from-to)	573-584
ISSN	0098-5589
Publication status	Published - 1998

OpenUrl availability

Check availability in DTU Findit

Cite this

@article{926fff89071847a7b52ecc12aa1b9c86,

title = "From Safety Analysis to Formal Specification",

abstract = "Software for safety critical systems must deal with the hazards identified bysafety analysis. This paper investigates, how the results of onesafety analysis technique, fault trees, are interpreted as software safetyrequirements to be used in the program design process. We propose thatfault tree analysis and program development use the samesystem model. This model is formalized in areal-time, interval logic, based on a conventional dynamic systems modelwith state evolving over time. Fault trees are interpreted astemporal formulas, and it is shown how such formulas can be usedfor deriving safety requirements for software components.",

author = "Hansen, \{Kirsten Mark\} and Ravn, \{Anders P.\} and Victoria Stavridou",

year = "1998",

language = "English",

volume = "24",

pages = "573--584",

journal = "I E E E Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "7",

}

TY - JOUR

T1 - From Safety Analysis to Formal Specification

AU - Hansen, Kirsten Mark

AU - Ravn, Anders P.

AU - Stavridou, Victoria

PY - 1998

Y1 - 1998

N2 - Software for safety critical systems must deal with the hazards identified bysafety analysis. This paper investigates, how the results of onesafety analysis technique, fault trees, are interpreted as software safetyrequirements to be used in the program design process. We propose thatfault tree analysis and program development use the samesystem model. This model is formalized in areal-time, interval logic, based on a conventional dynamic systems modelwith state evolving over time. Fault trees are interpreted astemporal formulas, and it is shown how such formulas can be usedfor deriving safety requirements for software components.

AB - Software for safety critical systems must deal with the hazards identified bysafety analysis. This paper investigates, how the results of onesafety analysis technique, fault trees, are interpreted as software safetyrequirements to be used in the program design process. We propose thatfault tree analysis and program development use the samesystem model. This model is formalized in areal-time, interval logic, based on a conventional dynamic systems modelwith state evolving over time. Fault trees are interpreted astemporal formulas, and it is shown how such formulas can be usedfor deriving safety requirements for software components.

M3 - Journal article

SN - 0098-5589

VL - 24

SP - 573

EP - 584

JO - I E E E Transactions on Software Engineering

JF - I E E E Transactions on Software Engineering

IS - 7

ER -