Modeling Reconfigurable Mechatronic Systems with Mechatronic UML (bibtex)
Sven Burmester, Matthias Tichy and Holger Giese, "Modeling Reconfigurable Mechatronic Systems with Mechatronic UML", in U. Aßmann, Ed., Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pp. 155-169, June 2004.
Due to the safety-critical character of mechatronic systems the engineers 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 requirements. Further, mechatronic systems usually embed continuous behavior in form of feedback-controllers which leads to hybrid systems. A new field of research deals with the support of dynamic exchange of feedback controllers (reconfiguration) during design. Models have to support a complex, distributed system structure. The systems 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.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser