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

doi:10.1109/EMWRTS.1997.613778

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 proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997
Pages	168-175
Number of pages	8
DOIs	https://doi.org/10.1109/EMWRTS.1997.613778
Publication status	Published - 1997
Event	9th Euromicro Workshop on Real Time Systems, ECRTS 1997 - Toledo, Spain Duration: 11 Jun 1997 → 13 Jun 1997

Other

Other	9th Euromicro Workshop on Real Time Systems, ECRTS 1997
Country/Territory	Spain
City	Toledo
Period	11/06/97 → 13/06/97

Access to Document

10.1109/EMWRTS.1997.613778

Cite this

@inproceedings{f21cb94517ac43ac8151319d8b4f574d,

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

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.",

author = "Gerogiannis, {V. C.} and Caragiannis, {I. E.} and Tsoukarellas, {M. A.}",

year = "1997",

doi = "10.1109/EMWRTS.1997.613778",

language = "English",

isbn = "0818680342",

pages = "168--175",

booktitle = "Proceedings - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997",

note = "9th Euromicro Workshop on Real Time Systems, ECRTS 1997 ; Conference date: 11-06-1997 Through 13-06-1997",

}

Gerogiannis, VC, Caragiannis, IE & Tsoukarellas, MA 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., 613778, pp. 168-175, 9th Euromicro Workshop on Real Time Systems, ECRTS 1997, Toledo, Spain, 11/06/97. https://doi.org/10.1109/EMWRTS.1997.613778

A general framework for applying safety analysis to safety critical real-time applications using fault trees. / Gerogiannis, V. C.; Caragiannis, I. E.; Tsoukarellas, M. A.
Proceedings - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997. 1997. p. 168-175 613778.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Gerogiannis, V. C.

AU - Caragiannis, I. E.

AU - Tsoukarellas, M. A.

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84884629534&partnerID=8YFLogxK

U2 - 10.1109/EMWRTS.1997.613778

DO - 10.1109/EMWRTS.1997.613778

M3 - Conference contribution

AN - SCOPUS:84884629534

SN - 0818680342

SN - 9780818680342

SP - 168

EP - 175

BT - Proceedings - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997

T2 - 9th Euromicro Workshop on Real Time Systems, ECRTS 1997

Y2 - 11 June 1997 through 13 June 1997

ER -

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

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this