Towards Modeling Reconfiguration in Hierarchical Component Architectures

S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.

Download
Restricted 569-CBSE12-Becker_Heinzemann_Priesterjahn.pdf 139.68 KB
Conference Paper
Author
; ;
Abstract
Today's real-time embedded systems operate in frequently changing environments on which they react by self-adaptations. Such an approach needs adequate modeling support of these reconfigurations to enable verification of safety properties, e.g., by timed model checking. Component-based development of such systems realizes these self-adaptations by structural reconfigurations of components and their connectors. However, component models proposed in literature do not support reconfigurable components in real-time embedded context but focus on other domains like business information systems. In this paper, we present an extension of our modeling language MechatronicUML to support structural reconfigurations taking the specific requirements of our domain into account. Based on the proposed extension we outline our research roadmap to achieve verification and realization of systems modeled in MechatronicUML.
Publishing Year
Proceedings Title
Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)
Page
23--28
LibreCat-ID

Cite this

Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742
Becker, S., Heinzemann, C., & Priesterjahn, C. (2012). Towards Modeling Reconfiguration in Hierarchical Component Architectures. In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE) (pp. 23--28). https://doi.org/10.1145/2304736.2304742
@inproceedings{Becker_Heinzemann_Priesterjahn_2012, title={Towards Modeling Reconfiguration in Hierarchical Component Architectures}, DOI={10.1145/2304736.2304742}, booktitle={Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)}, author={Becker, Steffen and Heinzemann, Christian and Priesterjahn, Claudia }, year={2012}, pages={23--28} }
Becker, Steffen, Christian Heinzemann, and Claudia Priesterjahn. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 23--28, 2012. https://doi.org/10.1145/2304736.2304742.
S. Becker, C. Heinzemann, and C. Priesterjahn, “Towards Modeling Reconfiguration in Hierarchical Component Architectures,” in Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.
Becker, Steffen, et al. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28, doi:10.1145/2304736.2304742.
Main File(s)
File Name
569-CBSE12-Becker_Heinzemann_Priesterjahn.pdf 139.68 KB
Access Level
Restricted Closed Access
Last Uploaded
2018-03-15T10:19:12Z


Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar