A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems

Certifying an electrical/electronic system as functionally safe requires a range of analysis and assessment procedures, which must be performed during the different design and manufacturing phases. In the automotive context, the ISO 26262 standard prescribes a set of methods, including FMEDA (Failure Modes, Effects, and Diagnostic Analysis), to evaluate the safety integrity level of the product. FMEDA is a well-established technique in the industry, however, it still demands cumbersome and error-prone manual tasks. In this paper, we present a model-based approach which enhances the FMEDA process for complex safety-related systems and subsequently achieves effort savings reaching 60% in comparison to the manual procedure. This is realized by formalizing the FMEDA structure and applying a database of failure modes derived from safety standards, recognized fault catalogues, and recent project perceptions. The simulation aspect of the approach enables the systematic composition and the automated assembly of component FMEDAs. It provides a new verification capability for FMEDAs in the sense that potential deficiencies or inconsistencies made by safety analysts can be detected and appropriately corrected.

[1]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[2]  D. Ogden,et al.  Reliability block diagram simulation techniques applied to the IEEE Std. 493 standard network , 2004, IEEE Transactions on Industry Applications.

[3]  Simon Brown,et al.  Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems , 2000 .

[4]  Wolfgang Ecker,et al.  Metasynthesis for Designing Automotive SoCs , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[5]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[6]  H. C. Wilson,et al.  Hazop and Hazan: Identifying and Assessing Process Industry Hazards, 4th edition , 2001 .

[7]  Simin Nadjm-Tehrani,et al.  Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems , 2008, 2008 Design, Automation and Test in Europe.

[8]  Trevor A. Kletz,et al.  Hazop & Hazan: Identifying and Assessing Process Industry Hazards, Fouth Edition , 1999 .

[9]  B. C. Wei A unified approach to failure mode, effects and criticality analysis (FMECA) , 1991, Annual Reliability and Maintainability Symposium. 1991 Proceedings.

[10]  Aarnout Brombacher,et al.  Using a failure modes, effects and diagnostic analysis (FMEDA) to measure diagnostic coverage in programmable electronic systems , 1999 .

[11]  Peri L. Tarr,et al.  Model-driven development : The good , the bad , and the ugly & , 2006 .

[12]  Simona Bernardi,et al.  Dependability Analysis Techniques , 2013 .

[13]  William M. Goble,et al.  Using Markov models for safety analysis of programmable electronic systems , 1995 .

[14]  Simin Nadjm-Tehrani,et al.  Safety Interfaces for Component-Based Systems , 2005, SAFECOMP.

[15]  William M. Goble Control System Safety Evaluation and Reliability , 1998 .

[16]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[17]  D. J. Lawson,et al.  Failure Mode, Effect and Criticality Analysis , 1983 .

[18]  Sarah J. Dunnett,et al.  Event-tree analysis using binary decision diagrams , 2000, IEEE Trans. Reliab..

[19]  Wolfgang Ecker,et al.  The metamodeling approach to system level synthesis , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Huo Hongxia Event-tree Analysis Using Binary Decision Diagrams , 2008 .

[21]  Peter A. Lindsay,et al.  An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees , 2005, IFM.

[22]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[23]  Markus Völter,et al.  A Catalog of Patterns for Program Generation , 2003, EuroPLoP.