Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems

 
: Roth, M.; Liggesmeyer, P.

:

Institute of Electrical and Electronics Engineers -IEEE-:
IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013 : 4-7 November 2013, Pasadena, CA
Piscataway, NJ: IEEE, 2013
ISBN: 978-1-4799-2552-0
S.353-358
International Symposium on Software Reliability Engineering (ISSRE) <24, 2013, Pasadena/Calif.>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()

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.

: http://publica.fraunhofer.de/dokumente/N-350509.html