Hasso-Plattner-Institut für Softwaresystemtechnik
Publikationen
Publikationen

Sven Burmester and Holger Giese and Matthias Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In Uwe Assmann and Arend Rensink and Mehmet Aksit, ed., Model Driven Architecture: Foundations and Applications, volume 3599 of Lecture Notes in Computer Science (LNCS), pages 47-61, 8 2005. Springer Verlag.

Abstract:

Today, advanced technical systems are complex, reconfigurable mechatronic systems where most control and reconfiguration functionality is realized in software. A number of requirements have to be satisfied in order to apply the model-driven development approach and the UML for mechatronic systems: The UML design models must support the specification of the required hard real-time event processing. The real-time coordination in the UML models must embed the continuous control behavior in form of feedback-controllers to allow for the specification of discrete and continuous hybrid systems. Advanced solutions further require the dynamic exchange of feedback controllers at runtime (reconfiguration). Thus, a modeling of rather complex interplays between the information processing and the control is essential. Due to the safety-critical character of mechatronic systems, the resulting UML models of complex, distributed systems and their real-time behavior must be verifiable in spite of the complex structure and the embedded reconfigurable control elements. Finally, an automatic code synthesis has to map the specification correctly to code. In this paper, we will present our MECHATRONIC UML approach, which fulfills all these requirements. The approach is motivated and illustrated by means of a running example.

BibTeX file

@inproceedings{Burmester+2005a,
author = { Sven Burmester and Holger Giese and Matthias Tichy },
title = { Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML },
year = { 2005 },
volume = { 3599 },
pages = { 47-61 },
abstract = { Today, advanced technical systems are complex, reconfigurable mechatronic systems where most control and reconfiguration functionality is realized in software. A number of requirements have to be satisfied in order to apply the model-driven development approach and the UML for mechatronic systems: The UML design models must support the specification of the required hard real-time event processing. The real-time coordination in the UML models must embed the continuous control behavior in form of feedback-controllers to allow for the specification of discrete and continuous hybrid systems. Advanced solutions further require the dynamic exchange of feedback controllers at runtime (reconfiguration). Thus, a modeling of rather complex interplays between the information processing and the control is essential. Due to the safety-critical character of mechatronic systems, the resulting UML models of complex, distributed systems and their real-time behavior must be verifiable in spite of the complex structure and the embedded reconfigurable control elements. Finally, an automatic code synthesis has to map the specification correctly to code. In this paper, we will present our MECHATRONIC UML approach, which fulfills all these requirements. The approach is motivated and illustrated by means of a running example. },
month = { 8 },
note = { },
editor = { Uwe Assmann and Arend Rensink and Mehmet Aksit },
publisher = { Springer Verlag },
series = { Lecture Notes in Computer Science (LNCS) },
booktitle = { Model Driven Architecture: Foundations and Applications }
}

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.

last change: Tue, 15 Mar 2011 10:43:56 +0100