--- res: bibo_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.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Steffen foaf_name: Becker, Steffen foaf_surname: Becker - foaf_Person: foaf_givenName: Christian foaf_name: Heinzemann, Christian foaf_surname: Heinzemann - foaf_Person: foaf_givenName: 'Claudia ' foaf_name: 'Priesterjahn, Claudia ' foaf_surname: Priesterjahn bibo_doi: 10.1145/2304736.2304742 dct_date: 2012^xs_gYear dct_title: Towards Modeling Reconfiguration in Hierarchical Component Architectures@ ...