TY - CHAP A1 - Höfig, Kai A1 - Zeller, Marc A1 - Schorp, Konstantin T1 - Automated failure propagation using inner port dependency traces T2 - 2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Mai 2015, Montreal, QC, Canada. N2 - Safety assurance is a major challenge in the design of complex embedded and Cyber-physical Systems. Especially, changes and adoptions during the design or run-time of an embedded system invalidate former safety analyses and require an adaptation of the system's safety analysis models. In this paper, we present a methodology to fill up empty safety analysis artifacts in component fault trees using so-called inner port dependency traces to describe failure propagation. Thus, enabling a imprecise but rapid safety analysis of an entire system at early development stages or during system run-time for the automated certification of Cyber-physical Systems. We evaluate our approach using case study from the automotive domain. KW - Failure propagation KW - Port dependency traces KW - Cyber-physical Systems KW - Software safety Y1 - 2015 SP - 123 EP - 128 ER -