@inproceedings{AdlerDomisHoefigetal.2010, author = {Adler, Rasmus and Domis, Dominik and H{\"o}fig, Kai and Kemmann, S{\"o}ren and Kuhn, Thomas and Schwinn, Jean- Pascal and Trapp, Mario}, title = {Integration of component fault trees into the UML}, series = {International Conference on Model Driven Engineering Languages and Systems.}, booktitle = {International Conference on Model Driven Engineering Languages and Systems.}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {312 -- 327}, year = {2010}, abstract = {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.}, language = {en} } @inproceedings{ZellerHoefigSchwinn2017, author = {Zeller, Marc and H{\"o}fig, Kai and Schwinn, Jean-Pascal}, title = {ArChes—Automatic generation of component fault trees from continuous function charts}, series = {2017 IEEE 15th International Conference on Industrial Informatics (INDIN), July 2017, Emden, Germany.}, booktitle = {2017 IEEE 15th International Conference on Industrial Informatics (INDIN), July 2017, Emden, Germany.}, year = {2017}, abstract = {The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses. However, it also increase the effort for creating and maintaining the safety analysis models (such as fault trees) significantly. In this work, we present a method to automatically generate Component Fault Trees from Continuous Function Charts. This method aims at generating the failure propagation model of the detailed software specification. Hence, control software can be included into safety analyses without additional manual effort required to construct the safety analysis models of the software. Moreover, safety analyses created during early system specification phases can be verified by comparing it with the automatically generated one in the detailed specification phased.}, language = {en} }