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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Aljazzar, H. (author) / Fischer, M. (author) / Grunske, L. (author) / Kuntz, M. (author) / Leitner-Fischer, F. (author) / Leue, S. (author)


    Publication date :

    2009


    Size :

    10 Seiten, 24 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Probabilistic Safety Analysis Using ERES, The RAMS Expert System

    Frisch, B. / Preyssl, C. / Stolle, F. | British Library Online Contents | 1996


    Probabilistic Safety Analysis Using ERES, The RAMS Expert System

    Frisch, B. / Preyssl, C. / Stolle, F. et al. | British Library Conference Proceedings | 1996



    Analysis, Optimization and Probabilistic Assessment of an Airbag Landing System for the ExoMars Space Mission

    Slade, R. / Sharp, P. / Jones, R. et al. | British Library Conference Proceedings | 2006