TY - CHAP A1 - Domis, Dominik A1 - Höfig, Kai A1 - Trapp, Mario T1 - A consistency check algorithm for component-based refinements of fault trees T2 - 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE), November 2010, San Jose, CA, USA. N2 - The number of embedded systems in our daily lives that are distributed, hidden, and ubiquitous continues to increase. Many of them are safety-critical. To provide additional or better functionalities, they are becoming more and more complex, which makes it difficult to guarantee safety. It is undisputed that safety must be considered before the start of development, continue until decommissioning, and is particularly important during the design of the system and software architecture. An architecture must be able to avoid, detect, or mitigate all dangerous failures to a sufficient degree. For this purpose, the architectural design must be guided and verified by safety analyses. However, state-of-the-art component-oriented or model-based architectural design approaches use different levels of abstraction to handle complexity. So, safety analyses must also be applied on different levels of abstraction, and it must be checked and guaranteed that they are consistent with each other, which is not supported by standard safety analyses. In this paper, we present a consistency check for CFTs that automatically detects commonalities and inconsistencies between fault trees of different levels of abstraction. This facilitates the application of safety analyses in top-down architectural designs and reduces effort. KW - embedded systems KW - Fault trees Y1 - 2010 SP - 171 EP - 180 ER - TY - CHAP A1 - Adler, Rasmus A1 - Domis, Dominik A1 - Höfig, Kai A1 - Kemmann, Sören A1 - Kuhn, Thomas A1 - Schwinn, Jean- Pascal A1 - Trapp, Mario T1 - Integration of component fault trees into the UML T2 - International Conference on Model Driven Engineering Languages and Systems. N2 - Efficient safety analyses of complex software intensive embedded systems are still a challenging task. This article illustrates how model-driven development principles can be used in safety engineering to reduce cost and effort. To this end, the article shows how well accepted safety engineering approaches can be shifted to the level of model-driven development by integrating safety models into functional development models. Namely, we illustrate how UML profiles, model transformations, and techniques for multi language development can be used to seamlessly integrate component fault trees into the UML. KW - Safety Analysis KW - fault trees KW - Model driven engineering languages Y1 - 2010 SP - 312 EP - 327 PB - Springer-Verlag CY - Berlin, Heidelberg ER -