Self-adaptive software for signal processing
Communications of the ACM
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Self-Adaptive Software for Hard Real-Time Environments
IEEE Intelligent Systems
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
DynAlloy: upgrading alloy with actions
Proceedings of the 27th international conference on Software engineering
Design of self-managing dependable systems with UML and fault tolerance patterns
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Separation of concerns for mechatronic multi-agent systems through dynamic communities
Software Engineering for Multi-Agent Systems III
Reusing dynamic communication protocols in self-adaptive embedded component architectures
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Probabilistic graph transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
| Hi-index | 0.00 |
The advanced mechatronic systems of the next generation are expected to behave more intelligently than today's systems by building communities of autonomous agents which exploit local and global networking to enhance their functionality. Such mechatronic systems will therefore include dynamic structural adaptation at the network level and complex real-time coordination protocols to adjust their behavior to the changing system goals leading to cooperative self-adaptation in a safe and coordinated manner. In this paper the Mechatronic UML approach and its concepts for compositional modeling and verification of crucial safety properties for cooperative self-adaptive mechatronic systems are outlined. Based on former results for the compositional verification of the real-time coordination and safe rule-based dynamic structural adaptation, we present in this paper a systematic compositional verification scheme which permits to verify the safety of real-time systems with compositional adaptation and an a priori unbounded number of structural configurations.