Towards modeling reconfiguration in hierarchical component architectures

Authors:
Christian Heinzemann;Claudia Priesterjahn;Steffen Becker
Affiliations:
Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany;Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany;Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany
Venue:
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Year:
2012

Citing 10
Cited 4

Concurrency control and recovery in database systems

Concurrency control and recovery in database systems
Composing Adaptive Software

Computer
A survey of self-management in dynamic software architecture specifications

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Model-based development of dynamically adaptive software

Proceedings of the 28th international conference on Software engineering
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
A reconfiguration framework for distributed components

Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
Models@ run.time

Computer
Version-consistent dynamic reconfiguration of component-based distributed systems

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Comparison of component frameworks for real-time embedded systems

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Reliable dynamic reconfigurations in a reflective component model

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering

Mode switch handling for the ProCom component model

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Towards mining informal online data to guide component-reuse decisions

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Safe deployment for reconfigurable cyber-physical systems

Proceedings of the 18th international doctoral symposium on Components and architecture
A discipline-spanning development process for self-adaptive mechatronic systems

Proceedings of the 2013 International Conference on Software and System Process

Quantified Score

Hi-index	0.00

Visualization

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.