Advertisement

Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems

  • Roland Mader
  • Eric Armengaud
  • Andrea Leitner
  • Christian Kreiner
  • Quentin Bourrouilh
  • Gerhard Grießnig
  • Christian Steger
  • Reinhold Weiß
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6894)

Abstract

The shift of the automotive industry towards powertrain electrification introduces new automotive sensors, actuators and functions that lead to an increasing complexity of automotive embedded systems. The safety-criticality of these systems demands the application of analysis techniques such as PHA (Preliminary Hazard Analysis), FTA (Fault Tree Analysis) and FMEA (Failure Modes and Effects Analysis) in the development process. The early application of PHA allows to identify and classify hazards and to define top-level safety requirements. Building on this, the application of FTA and FMEA supports the verification of a system architecture defining an embedded system together with connected sensors and controlled actuators. This work presents a modeling framework with automated analysis and synthesis capabilities that supports a safety engineering workflow using the domain-specific language EAST-ADL. The contribution of this work is (1) the definition of properties that indicate the correct application of the workflow using the language. The properties and a model integrating the work products of the workflow are used for the automated detection of errors (property checker) and the automated suggestion and application of corrective measures (model corrector). Furthermore, (2) fault trees and a FMEA table can be automatically synthesized from the same model. The applicability of this computer-aided and tightly integrated approach is evaluated using the case study of a hybrid electric vehicle development.

Keywords

Hybrid Electric Vehicle Fault Tree Safety Engineering Fault Tree Analysis Fault Tree Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ATESST2 Project Consortium: EAST-ADL Domain Model Specification, version 2.1, Release Candidate 3 (2010)Google Scholar
  2. 2.
    Biehl, M., DeJui, C., Törngren, M.: Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems. In: Proc. of the Conference on Languages, Compilers and Tools for Embedded Systems, pp. 125–131 (2010)Google Scholar
  3. 3.
    Domis, D., Trapp, M.: Integrating Safety Analyses and Component-Based Design. In: Proc. of the 27th International Conference on Computer Safety, Reliability and Security, pp. 58–71 (September 2008)Google Scholar
  4. 4.
    Elmqvist, J., Nadjm-Tehrani, S.: Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. In: Proc. of the Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), pp. 921–927 (April 2008)Google Scholar
  5. 5.
    Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of ”Semantics”? IEEE Transactions on Computers 37, 64–72 (2004)Google Scholar
  6. 6.
    International Electrotechnical Commission: IEC 61025 - Ed. 2.0 Fault tree analysis (FTA) (2006)Google Scholar
  7. 7.
    International Organization for Standardization: ISO/DIS 26262-3 Road vehicles - Functional safety - Part 3: Concept phase (2009)Google Scholar
  8. 8.
    Lanusse, A., Tanguy, Y., Espinoza, H., Mraidha, C., Gerard, S., Tessier, P., Schnekenburger, R., Dubois, H., Terrier, F.: Papyrus UML: an open source toolset for MDA. In: Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), pp. 1–4 (June 2009)Google Scholar
  9. 9.
    Mader, R., Grießnig, G., Leitner, A., Kreiner, C., Bourrouilh, Q., Armengaud, E., Steger, C., Weiß, R.: A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems. In: Proc. of the IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp. 169–178 (2011)Google Scholar
  10. 10.
    Majdara, A., Wakabayashi, T.: A New Approach for Computer-Aided Fault Tree Generation. In: Proc. of the 3rd Annual IEEE Systems Conference, pp. 308–312 (2009)Google Scholar
  11. 11.
    de Miguel, M., Briones, J., Silva, J., Alonso, A.: Integration of safety analysis in model-driven software development. IET Software 2, 260–280 (2008)CrossRefGoogle Scholar
  12. 12.
    Leveson, N.G.: Safeware: system safety and computers. Addison-Wesley Publishing Company, Reading (1995)Google Scholar
  13. 13.
    Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. The Journal of Systems and Software 76, 77–89 (2004)CrossRefGoogle Scholar
  14. 14.
    Papadopoulos, Y., Maruhn, M.: Model-Based Synthesis of Fault Trees from Matlab - Simulink models. In: Proc. of the International Conference on Dependable Systems and Networks (DSN 2001), pp. 77–82 (July 2001)Google Scholar
  15. 15.
    Sandberg, A., Chen, D.J., Lönn, H., Johansson, R., Feng, L., Törngren, M., Torchiaro, S., Kolagari, R.T., Abele, A.: Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. In: Proc. of the 29th International Conference on Computer Safety, Reliability and Security, pp. 332–346 (September 2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Roland Mader
    • 1
    • 2
  • Eric Armengaud
    • 1
    • 3
  • Andrea Leitner
    • 2
  • Christian Kreiner
    • 2
  • Quentin Bourrouilh
    • 1
  • Gerhard Grießnig
    • 1
    • 2
  • Christian Steger
    • 2
  • Reinhold Weiß
    • 2
  1. 1.AVL List GmbHAustria
  2. 2.Institute for Technical InformaticsGraz University of TechnologyAustria
  3. 3.Virtual Vehicle Competence Center (ViF)Austria

Personalised recommendations