From Safety Analysis to Formal Specification

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou

    Research output: Contribution to journalJournal articleResearchpeer-review


    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 languageEnglish
    JournalI E E E Transactions on Software Engineering
    Issue number7
    Pages (from-to)573-584
    Publication statusPublished - 1998

    Cite this