A general framework for applying safety analysis to safety critical real-time applications using fault trees

V. C. Gerogiannis, I. E. Caragiannis, M. A. Tsoukarellas

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Citations (Scopus)

    Abstract

    The paper presents a general framework for analyzing the safety aspects of complex safety critical real-time applications. The proposed framework is based on the well-established fault tree analysis (FTA) technique and provides a systematic way for handling fault trees, as, well as, discovering any hazardous conditions that may arise. It also provides the background for the development of automated software safety analysis tools oriented to a broad set of programming languages or specification/design notations for, which fault tree templates are (or will be) available. Such a tool can be used to assess software safety at most phases of software life cycle. The paper presents the SAFELAND tool which follows framework disciplines and performs code-based fault tree analysis on safety critical real-time applications written in several idioms of the C programming language.

    Original languageEnglish
    Title of host publicationProceedings - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997
    Pages168-175
    Number of pages8
    DOIs
    Publication statusPublished - 1997
    Event9th Euromicro Workshop on Real Time Systems, ECRTS 1997 - Toledo, Spain
    Duration: 11 Jun 199713 Jun 1997

    Other

    Other9th Euromicro Workshop on Real Time Systems, ECRTS 1997
    Country/TerritorySpain
    CityToledo
    Period11/06/9713/06/97

    Fingerprint

    Dive into the research topics of 'A general framework for applying safety analysis to safety critical real-time applications using fault trees'. Together they form a unique fingerprint.

    Cite this