Automated compositional safety analysis using component fault trees

  • 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.

Export metadata

Additional Services

Search Google Scholar
Author:Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer
Parent Title (English):Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2015), November 2015, Gaithersburg, MD.
Document Type:Conference Proceeding
Publication Year:2015
Tag:Adaption models; Automotive Engineering; Fault trees; Safety
First Page:152
Last Page:159
faculties / departments:Fakultät für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke