From Scientific Software Libraries to Problem-Solving Environments
IEEE Computational Science & Engineering
SciNapse: A Problem-Solving Environment for Partial Differential Equations
IEEE Computational Science & Engineering
An Integrated Problem Solving Environment: The SCIRun Computational Steering System
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
Proceedings of the 28th international conference on Software engineering
An Open Domain-Extensible Environment for Simulation-Based Scientific Investigation (ODESSI)
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
Software Challenges for Extreme Scale Computing: Going From Petascale to Exascale Systems
International Journal of High Performance Computing Applications
Annual Review of Information Science and Technology
A survey of scientific software development
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
IEEE Software
Globus toolkit version 4: software for service-oriented systems
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
Velo: A Knowledge-Management Framework for Modeling and Simulation
Computing in Science and Engineering
HUBzero: A Platform for Dissemination and Collaboration in Computational Science and Engineering
Computing in Science and Engineering
Development of a Mesh Generation Code with a Graphical Front-End: A Case Study
Journal of Organizational and End User Computing
Mode switch timing analysis for component-based multi-mode systems
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
Mechatronic systems reconfigure the structure of their software architecture, e.g., to avoid hazardous situations or to optimize operational conditions like minimizing their energy consumption. As software architectures are typically build on components, reconfiguration actions need to respect the component structure. This structure should be hierarchical to enable encapsulated components. While many reconfiguration approaches for embedded real-time systems allow the use of hierarchically embedded components, i.e., horizontal composition, none of them offers a modeling and verification solution to take hierarchical composition, i.e., encapsulation, into account. In this paper, we present an extension to our existing modeling language, muml, to enable safe hierarchical reconfigurations. The two main extensions are (a) an adapted variant of the two-phase commit protocol to initiate reconfigurations which maintain component encapsulation and (b) a timed model checking verification approach for instances of our model. We illustrate our approach on a case study in the area of smart railway systems by showing two different use cases of our approach and the verification of their safety properties.