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 contribution

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
CountrySpain
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

    Gerogiannis, V. C., Caragiannis, I. E., & Tsoukarellas, M. A. (1997). A general framework for applying safety analysis to safety critical real-time applications using fault trees. In Proceedings - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997 (pp. 168-175). [613778] https://doi.org/10.1109/EMWRTS.1997.613778