@InProceedings{GH05_ag,
AUTHOR = {Giese, Holger and Hirsch, Martin},
TITLE = {{Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML}},
YEAR = {2005},
MONTH = {October},
BOOKTITLE = {Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2005},
PAGES = {7-26},
PDF = {uploads/pdf/GH05_ag_10.1.1.96.3253.pdf},
ABSTRACT = {While traditionally the environment considered by an autonomous mechatronic systems only consist of the measurable, surrounding physical world, today advanced mechatronic systems also include the context established by the information technology. This trend makes mechatronic systems possible which consist of cooperating agents which optimize the system behavior by adjusting their local behavior and cooperation structure to better serve their current goals depending on the experienced mechanical and information environment. The MECHATRONIC UML approach enables the component-wise development of such self-optimizing mechatronic systems by providing a notion for hybrid components and support for modular verification of the safe online-reconfiguration. In this paper, we present an extension to the formerly presented solution which overcomes the restriction that only purely reactive behavior with restricted time constraints can be verified. We present how model checking can be employed to also verify the safe modular reconfiguration for systems which include components with complex time constraints and proactive behavior.}
}