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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ATESST2 Project Consortium: EAST-ADL Domain Model Specification, version 2.1, Release Candidate 3 (2010)
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)
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)
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)
Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of ”Semantics”? IEEE Transactions on Computers 37, 64–72 (2004)
International Electrotechnical Commission: IEC 61025 - Ed. 2.0 Fault tree analysis (FTA) (2006)
International Organization for Standardization: ISO/DIS 26262-3 Road vehicles - Functional safety - Part 3: Concept phase (2009)
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)
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)
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)
de Miguel, M., Briones, J., Silva, J., Alonso, A.: Integration of safety analysis in model-driven software development. IET Software 2, 260–280 (2008)
Leveson, N.G.: Safeware: system safety and computers. Addison-Wesley Publishing Company, Reading (1995)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mader, R. et al. (2011). Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)