Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automated compositional safety analysis using component fault trees

: Möhrle, Felix; Zeller, Marc; Höfig, Kai; Rothfelder, Martin; Liggesmeyer, Peter


Institute of Electrical and Electronics Engineers -IEEE-; IEEE Computer Society:
IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2015. Proceedings : 2-5 November 2015, Gaithersburg, MD
Piscataway, NJ: IEEE, 2015
ISBN: 978-1-5090-1943-4 (Print)
ISBN: 978-1-5090-1944-1
International Symposium on Software Reliability Engineering (ISSRE) <26, 2015, Gaithersburg/Md.>
Conference Paper
Fraunhofer IESE ()
automotive engineering; safety; cyber physical system; Component Fault Tree (CFT); embedded system

Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automatically generating mappings between failure ports in compositional safety analysis models. This way, automatic and system-wide safety analyses are enabled that can be easily repeated after making modifications to the system's architecture. We demonstrate the feasibility of our approach using a case study from the automotive domain.