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 run-time (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.
This work was developed in the course of the Special Research Initiative 614 – Self-optimizing Concepts and Structures in Mechanical Engineering – University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics, Stanley Thornes (2000)
Miller, J., Mukerji, J. (eds.): Object Management Group: Model Driven Architecture (MDA) (2001)
Object Management Group: UML 2.0 Superstructure Specification, Document ptc/03-08-02 (2003)
OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (2002)
David, A., Möller, M.O., Yi, W.: Formal verification of UML statecharts with real-time extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 218–232. Springer, Heidelberg (2002)
Graf, S., Hooman, J.: Correct development of embedded systems. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 241–249. Springer, Heidelberg (2004)
Stauner, T., Pretschner, A., Péter, I.: Approaching a Discrete-Continuous UML: Tool Support and Formalization. In: Proc. UML’2001 workshop on Practical UML-Based Rigorous Development Methods – Countering or Integrating the eXtremists, Toronto, Canada, pp. 242–257 (2001)
Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universität München (2001)
Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA. ACM, New York (2004)
Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland (2003)
Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, University of Paderborn, Paderborn, Germany (2003)
Burmester, S., Giese, H.: The Fujaba Real-Time Statechart PlugIn. In: Proc. of the Fujaba Days 2003, Kassel, Germany (2003)
Ogata, K.: Modern Control Engineering. Prentice Hall, Englewood Cliffs (2002)
Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology 1 (1997)
Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proc. of IEEE Symposium on Logic in Computer Science (1992)
Flake, S., Müller, W.: An OCL extension for real-time constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 150–171. Springer, Heidelberg (2002)
Bichler, L., Radermacher, A., Schürr, A.: Evaluation uml extensions for modeling realtime systems. In: Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS 2002, San Diego, USA, pp. 271–278. IEEE Computer Society Press, Los Alamitos (2002)
Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada (2003)
Masse, J., Kim, S., Hong, S.: Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada (2003)
Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc, Chichester (1994)
Object Management Group: UML for System Engineering Request for Proposal, Document ad/03-03-41 (2003)
Amnell, T., David, A., Fersman, E., Pettersson, M.O.M.P., Yi, W.: Tools for Real-Time UML: Formal Verification and Code Synthesis. In: Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, SIVOES 2001 (2001)
Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In: Proc. of European Simulation and Modelling Conference (ESMc 2004), Paris, France (2004) (accepted)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1999)
Tichy, M., Schilling, D., Giese, H.: Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. In: Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA (2004)
Tichy, M., Giese, H.: A self-optimizing run-time architecture for configurable dependability of services. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, pp. 25–50. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burmester, S., Giese, H., Tichy, M. (2005). Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML . In: Aßmann, U., Aksit, M., Rensink, A. (eds) Model Driven Architecture. MDAFA MDAFA 2004 2003. Lecture Notes in Computer Science, vol 3599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538097_4
Download citation
DOI: https://doi.org/10.1007/11538097_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28240-2
Online ISBN: 978-3-540-31819-4
eBook Packages: Computer ScienceComputer Science (R0)