@inproceedings{MoehrleZellerHoefigetal.2015, author = {M{\"o}hrle, Felix and Zeller, Marc and H{\"o}fig, Kai and Rothfelder, Martin and Liggesmeyer, Peter}, title = {Automated compositional safety analysis using component fault trees}, series = {Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2015), November 2015, Gaithersburg, MD.}, booktitle = {Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2015), November 2015, Gaithersburg, MD.}, pages = {152 -- 159}, year = {2015}, abstract = {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.}, language = {en} } @inproceedings{ZellerHoefig2016, author = {Zeller, Marc and H{\"o}fig, Kai}, title = {INSiDER: Incorporation of system and safety analysis models using a dedicated reference model}, series = {2016 Annual Reliability and Maintainability Symposium (RAMS)}, booktitle = {2016 Annual Reliability and Maintainability Symposium (RAMS)}, pages = {1 -- 6}, year = {2016}, abstract = {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.}, language = {en} }