Quantitative Evaluation of Systems, International Conference on (2009)
Sept. 13, 2009 to Sept. 16, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2009.8
Failure mode and effects analysis (FMEA) isa technique to reason about possible system hazards thatresult from system or system component failures. Traditionally, FMEA does not take the probabilities with which these failures may occur into account. Recently, this shortcoming was addressed by integrating stochastic model checking techniques into the FMEA process. A further improvement is the integration of techniques for the generation of counterexamples for stochastic models, which we propose in this paper. Counterexamples facilitate the redesign of a potentially unsafe system by providing information which components contribute most to the failure of the entire system. The usefulness of this novel approach to the FMEA process is illustrated by applying it to the case study of an airbag system provided by our industrial partner, the TRW Automotive GmbH.
Probabilistic FMEA, Stochastic Modelling, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Dependability Analysis
L. Grunske, M. Kuntz, S. Leue, H. Aljazzar, M. Fischer and F. Leitner-Fischer, "Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples," Quantitative Evaluation of Systems, International Conference on(QEST), Budapest, Hungary, 2009, pp. 299-308.