Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automating compositional safety analysis using a failure type taxonomy for component fault trees

: Möhrle, F.; Zeller, M.; Höfig, K.; Rothfelder, M.; Liggesmeyer, P.

Walls, L.:
Risk, Reliability and Safety: Innovating Theory and Practice Edited by Lesley Walls Matthew Revie Tim Bedford : Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016, Glasgow, Scotland, 25-29 September 2016
Boca Raton, Fla.: CRC Press, 2017
ISBN: 978-1-138-02997-2 (Print)
ISBN: 978-1-4987-8898-4 (eBook)
ISBN: 978-1-315-37498-7
European Safety and Reliability Conference (ESREL) <26, 2016, Glasgow>
Fraunhofer IESE ()

Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Changes in a system's architectural design invalidate former safety analyses and require a manual adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automating the compositional assembly of Component Fault Trees by automatically generating mappings between their input and output failure modes. Therefore, we propose a taxonomy of failure types for annotating model elements and deriving a model of the failure propagation. This way, automatic and system-wide safety analyses can be executed and easily repeated after making modifications to the system's architecture. We demonstrate the feasibility of our approach using an example ethylene vaporization unit from an industrial domain.