Experience Report: A Safety Engineering Tool Supporting Error Model Creation and Visualization

In this paper, we present a novel software tool called AVL Safety Extensions which is part of a tool framework for model-based automotive safety engineering. The tool framework supports a tool dependent methodology (TDM) which covers the left-hand V-model phases of ISO 26262-3 and ISO 26262-4 and requires the use of the language SSML (System Safety Modeling Language). The AVL Safety Extensions support safety engineers applying the TDM by creating consistent and complete work products and by simplifying and automating workflow steps. We present the AVL Safety Extensions in the context of the tool framework, the language SSML and the TDM focusing on the AVL Safety Extensions' capabilities for error model creation and visualization supporting safety analysis techniques such as FTA (Fault Tree Analysis) and FMEA (Failure Modes and Effects Analysis). Moreover, we illustrate the applicability of the presented approach using an industrial case study of hybrid electric vehicle development.

[1]  Alejandro Alonso,et al.  Integration of safety analysis in model-driven software development , 2008, IET Softw..

[2]  Christian Steger,et al.  OASIS: An automotive analysis and safety engineering instrument , 2013, Reliab. Eng. Syst. Saf..

[3]  Tim Kelly.  A Systematic Approach to Safety Case Management , 2004 .

[4]  Gholamreza Latif Shabgahi,et al.  A New Approach for the Construction of Fault Trees from System Simulink , 2009, 2009 International Conference on Availability, Reliability and Security.

[5]  Mario Trapp,et al.  Integrating Safety Analyses and Component-Based Design , 2008, SAFECOMP.

[6]  Christian Steger,et al.  Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems , 2011, SAFECOMP.

[7]  T. Wakabayashi,et al.  A new approach for computer-aided fault tree generation , 2009, 2009 3rd Annual IEEE Systems Conference.

[8]  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.

[9]  Joost-Pieter Katoen,et al.  Formal correctness, safety, dependability, and performance analysis of a satellite , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[10]  Laura. Deller,et al.  Hybrid Electric Vehicles , 2010 .

[11]  Christoph Lauer,et al.  Fault tree synthesis from UML models for reliability analysis at early design stages , 2011, SOEN.

[12]  Joanne Bechta Dugan,et al.  Automatic synthesis of dynamic fault trees from UML system models , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[13]  Capers Jones,et al.  Embedded Software: Facts, Figures, and Future , 2009, Computer.

[14]  Sanford Friedenthal,et al.  OMG Systems Modeling Language (OMG SysML™) Tutorial , 2008 .

[15]  Ali Emadi,et al.  Modern electric, hybrid electric, and fuel cell vehicles : fundamentals, theory, and design , 2009 .

[16]  Yiannis Papadopoulos,et al.  Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.

[17]  J. B. Dugan,et al.  Automatic synthesis of fault trees for computer-based systems , 1999 .

[18]  Yiannis Papadopoulos,et al.  Evolving car designs using model-based automated safety analysis and optimisation techniques , 2005, J. Syst. Softw..

[19]  Martin Törngren,et al.  Integrating safety analysis into the model-based development toolchain of automotive embedded systems , 2010, LCTES '10.

[20]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[21]  Joost-Pieter Katoen,et al.  A Model Checker for AADL , 2010, CAV.

[22]  Jianwen Xiang,et al.  Automatic Synthesis of Static Fault Trees from System Models , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

[23]  Shuhei Yamashita,et al.  Introduction of ISO 26262 'Road vehicles-Functional safety' , 2012 .