TY - CHAP A1 - Zeller, Marc A1 - Höfig, Kai T1 - INSiDER: Incorporation of system and safety analysis models using a dedicated reference model T2 - 2016 Annual Reliability and Maintainability Symposium (RAMS) N2 - In order to enable model-based, iterative design of safety-relevant systems, an efficient incorporation of safety and system engineering is a pressing need. Our approach interconnects system design and safety analysis models efficiently using a dedicated reference model. Since all information are available in a structured way, traceability between the model elements and consistency checks enable automated synchronization to guarantee that information within both kind of models are consistent during the development life-cycle. KW - Safety KW - CFT Y1 - 2016 SP - 1 EP - 6 ER - TY - CHAP A1 - Möhrle, Felix A1 - Zeller, Marc A1 - Höfig, Kai A1 - Rothfelder, Martin A1 - Liggesmeyer, Peter T1 - Automated compositional safety analysis using component fault trees T2 - Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2015), November 2015, Gaithersburg, MD. N2 - 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. KW - Safety KW - Fault trees KW - Adaption models KW - Automotive Engineering Y1 - 2015 SP - 152 EP - 159 ER -