by Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn, Mario Trapp
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.
Reference:
R. Adler et al., "Integration of Component Fault Trees into the UML", in Models in Software Engineering, J. Dingel, A. Solberg, Eds., Berlin / Heidelberg, Germany: Springer, 2011, pp. 312-327.
Bibtex Entry:
@INCOLLECTION{Adler2011,
author = {Adler, Rasmus and Domis, Dominik and Höfig, Kai and Kemmann, Sören
and Kuhn, Thomas and Schwinn, Jean-Pascal and Trapp, Mario},
title = {Integration of Component Fault Trees into the UML},
booktitle = {Models in Software Engineering},
publisher = {Springer},
year = {2011},
editor = {Dingel, Juergen and Solberg, Arnor},
volume = {6627},
series = {Lecture Notes in Computer Science},
pages = {312-327},
address = {Berlin / Heidelberg, Germany},
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.},
affiliation = {Fraunhofer IESE, Germany},
doi = {10.1007/978-3-642-21210-9_30},
isbn = {978-3-642-21209-3},
keyword = {Computer Science}
}