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
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
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
Journal of Visual Languages and Computing
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
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
Modular verification of safe online-reconfiguration for proactive components in mechatronic UML
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
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
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse
Companion of the 30th international conference on Software engineering
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Engineering self-coordinating software intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Fujaba4eclipse real-time tool suite
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Hi-index | 0.00 |
The next generation of advanced mechatronic systems is expected to use its software to exploit local and global networking capabilities to enhance their functionality and to adapt their local behavior when beneficial. Such systems will therefore include complex hard real-time coordination at the network level. This coordination is further reflected locally by complex reconfiguration in form of mode management and control algorithms. We present in this paper the integration of two tools which allow the integrated specification of real-time coordination and traditional control engineering specifically targeting the required complex reconfiguration of the local behavior.