Modeling Reconfigurable Mechatronic Systems with Mechatronic UML
Sven Burmester, Matthias Tichy, Holger Giese · 2004
Abstract. Due to the safety-critical character of mechatronic systems the engi-neers have to face the following serious problems: The models which are used in design must enable to specify real-time behavior on basis of a semantics that allows an automatic synthesis of code which respects the specified real-time re-quirements. Further, mechatronic systems usually embed continuous behavior in form of feedback-controllers which leads to hybrid systems. A new field of re-search deals with the support of dynamic exchange of feedback controllers (re-configuration) during design. Models have to support a complex, distributed sys-tem structure. The system’s real-time behavior must be verifiable in spite of the complex structure and the embedded continuous control elements. In this paper we will present our approach which fulfills all these requirements considering an example taken from the RailCab research project. 1