Automated failure propagation using inner port dependency traces
- 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.
Author: | Kai Höfig, Marc Zeller, Konstantin Schorp |
---|---|
Parent Title (English): | 2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Mai 2015, Montreal, QC, Canada. |
Document Type: | Conference Proceeding |
Language: | English |
Publication Year: | 2015 |
Tag: | Cyber-physical Systems; Failure propagation; Port dependency traces; Software safety |
First Page: | 123 |
Last Page: | 128 |
faculties / departments: | Fakultät für Informatik |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |