Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/76783

Download PDF (Published version) (Adobe Acrobat PDF, -1 bytes)

Title

Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples

Author(s)

Aljazzar, H.;  Fischer, M.;  Grunske, L.;  Kuntz, M.;  Leitner-Fischer, F.;  Leue, S.

Abstract

Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result 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.

Publication type

Conference paper

Research centre

Swinburne University of Technology

Source

Proceedings of the 6th International Conference on the Quantitative Evaluation of Systems (QEST 2009), Budapest, Hungary, 13-16 September 2009, pp. 299-308

Publication year

2009

FOR Code(s)

080309 Software Engineering

Keyword(s)

Airbag systems;  Failure mode and effects analysis;  Probabilistic FMEA;  Safety assessment

Publisher

IEEE

ISBN

97807695338082

Publisher URL

http://dx.doi.org/10.1109/QEST.2009.8

Copyright

Copyright © 2009 IEEE. Published version of the paper reproduced here in accordance with the copyright policy of the publisher. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Full text

Peer reviewed