by Michael Roth, Peter Liggesmeyer
Abstract:
For the certification of modern safety critical systems tree based failure models, like standardized fault trees (FTs), are frequently used methodologies. But when it comes to software-intensive systems these techniques have some crucial disadvantages, especially in modeling timing behavior. To deal with these weak points state/event fault trees (SEFTs) [6] were developed. However, these kind of fault trees can only be analyzed in a quantitative way. In this paper we propose an approach to analyze them qualitatively as well. This results in ordered event sequences which represent different ways for triggering a critical event of the underlying SEFTs, which can be seen as a time-dependent equivalent of the minimal cut set (MCS) analysis of standardized FTs. To evaluate our approach, we implemented the SEFTAnalyzer to apply it on a software-controlled fire alert system.
Reference:
M. Roth, P. Liggesmeyer, "Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems", in 24th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2013, pp. 353-358.
Bibtex Entry:
@INPROCEEDINGS{Roth2013b,
author = {Michael Roth and Peter Liggesmeyer},
title = {Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems},
booktitle = {24th International Symposium on Software Reliability Engineering Workshops (ISSREW)},
year = {2013},
month=Nov,
pages={353-358},
location = {Pasadena, CA, USA},
abstract = {For the certification of modern safety critical systems tree based failure models, like standardized fault trees (FTs), are frequently used methodologies. But when it comes to software-intensive systems these techniques have some crucial disadvantages, especially in modeling timing behavior. To deal with these weak points state/event fault trees (SEFTs) [6] were developed. However, these kind of fault trees can only be analyzed in a quantitative way. In this paper we propose an approach to analyze them qualitatively as well. This results in ordered event sequences which represent different ways for triggering a critical event of the underlying SEFTs, which can be seen as a time-dependent equivalent of the minimal cut set (MCS) analysis of standardized FTs. To evaluate our approach, we implemented the SEFTAnalyzer to apply it on a software-controlled fire alert system.},
keywords = {state event fault tree, fault tree, reliability analysis, software certification},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6688920&tag=1},
doi={10.1109/ISSREW.2013.6688920}
}