Article

Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML

Authors:

Sven Burmester,

Matthias TichyAuthors Info & Claims

MDAFA'03: Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications

Pages 47 - 61

https://doi.org/10.1007/11538097_4

Published: 26 June 2003 Publication History

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.

References

[1]

Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics. Stanley Thornes (2000).

[2]

Object Management Group: Model Driven Architecture (MDA) Edited by Joaquin Miller and Jishnu Mukerji. (2001).

[3]

Object Management Group: UML 2.0 Superstructure Specification. (2003) Document ptc/03-08-02.

[4]

OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (2002).

[5]

David, A., Möller, M., Yi, W.: Formal Verification of UML Statecharts with Real-Time Extensions. In Kutsche, R.D., Weber, H., eds.: 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002), April 2002, Grenoble, France. Volume 2306 of LNCS., Springer (2002) 218-232.

Digital Library

[6]

Graf, S., Hooman, J.: Correct Development of Embedded Systems. In Oquendo, F., Warboys, B., Morrision, R., eds.: Proceedings of the First European Workshop on Software Architecture, EWSA2004. Volume 3047 of Lecture Notes in Computer Science., St Andrews, UK, Springer Verlag (2004) 241-249.

[7]

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 (2001) 242-257.

Digital Library

[8]

Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universität München (2001).

[9]

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 (2004).

Digital Library

[10]

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).

Digital Library

[11]

Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, University of Paderborn, Paderborn, Germany (2003).

[12]

Burmester, S., Giese, H.: The Fujaba Real-Time Statechart PlugIn. In: Proc. of the Fujaba Days 2003, Kassel, Germany. (2003).

[13]

Ogata, K.: Modern Control Engineering. Prentice Hall (2002).

Digital Library

[14]

Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology 1 (1997).

[15]

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).

[16]

Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Object Modeling with the OCL: The Rationale behind the Object Constraint Language. Volume 2263 of LNCS. Springer (2002) 150-171.

Digital Library

[17]

Bichler, L., Radermacher, A., Schürr, A.: Evaluation uml extensions for modeling real-time systems. In: Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems WORDS'02, San Diego, USA, IEEE Computer Society Press (2002) 271-278.

Digital Library

[18]

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).

Digital Library

[19]

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).

Digital Library

[20]

Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc. (1994).

Digital Library

[21]

Object Management Group: UML for System Engineering Request for Proposal. (2003) Document ad/03-03-41.

[22]

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).

[23]

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).

[24]

Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1. World Scientific, Singapore (1999).

Digital Library

[25]

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).

Digital Library

[26]

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. Volume 3069 of Lecture Notes in Computer Science. Springer Verlag (2004) 25-51.

Cited By

Pagliari LMirandola RTrubiani CBinder WCortellessa VKoziolek ASmirni EPoess M(2017)A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical SystemsProceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion10.1145/3053600.3053650(217-222)Online publication date: 18-Apr-2017
https://dl.acm.org/doi/10.1145/3053600.3053650
Peruzzini MPellicciari M(2017)A framework to design a human-centred adaptive manufacturing system for aging workersAdvanced Engineering Informatics10.1016/j.aei.2017.02.00333:C(330-349)Online publication date: 1-Aug-2017
https://dl.acm.org/doi/10.1016/j.aei.2017.02.003
Cao YLiu YFan HFan B(2013)SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronicsComputer-Aided Design10.1016/j.cad.2012.05.00145:3(764-776)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.cad.2012.05.001
Show More Cited By

Recommendations

Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering

Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-critical areas, for instance in the ...
UML and model-driven development for SoC design
CODES+ISSS '06: Proceedings of the 4th international conference on Hardware/software codesign and system synthesis

UML (Unified Modeling Language™) as an OMG standard has received wide acceptance in software engineering over the last years. As electronic systems design moved towards software engineering, there is emerging interest for UML within the hardware ...
A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL

With the continuing rise in the complexity of embedded systems, there is an emerging need for a higher level modelling environment that facilitates efficient handling of this complexity. The aim here is to produce such a high level environment using ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

MDAFA'03: Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications

June 2003

234 pages

ISBN:3540282408

Editors:
Uwe Abmann
Technische Universität Dresden, Fakultät Informatik, Institut für Software- und Multimediatechnik, Dresden, Germany
,
Mehmet Aksit
University of Twente, Department of Computer Science, Enschede, The Netherlands
,
Arend Rensink
University of Twente, Department of Computer Science, Enschede, The Netherlands

Sponsors

HIDOORS EU: HIDOORS EU project
OMG: Object Management Group
REWERSE: REWERSE Network of Excellence of the European 6th framework programme

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 26 June 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Pagliari LMirandola RTrubiani CBinder WCortellessa VKoziolek ASmirni EPoess M(2017)A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical SystemsProceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion10.1145/3053600.3053650(217-222)Online publication date: 18-Apr-2017
https://dl.acm.org/doi/10.1145/3053600.3053650
Peruzzini MPellicciari M(2017)A framework to design a human-centred adaptive manufacturing system for aging workersAdvanced Engineering Informatics10.1016/j.aei.2017.02.00333:C(330-349)Online publication date: 1-Aug-2017
https://dl.acm.org/doi/10.1016/j.aei.2017.02.003
Cao YLiu YFan HFan B(2013)SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronicsComputer-Aided Design10.1016/j.cad.2012.05.00145:3(764-776)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.cad.2012.05.001
Greenyer JPook SRieke J(2011)Preventing information loss in incremental model synchronization by reusing elementsProceedings of the 7th European conference on Modelling foundations and applications10.5555/2023522.2023538(144-159)Online publication date: 6-Jun-2011
https://dl.acm.org/doi/10.5555/2023522.2023538
Becker BGiese HZadeh LBadr YAbraham AOhsawa YChbeir RFerri FKoeppen MLaurent D(2008)Modeling of correct self-adaptive systemsProceedings of the 5th international conference on Soft computing as transdisciplinary science and technology10.1145/1456223.1456326(508-516)Online publication date: 28-Oct-2008
https://dl.acm.org/doi/10.1145/1456223.1456326
Masticola SGall MZhu HWong WBelli F(2008)VisionProceedings of the 3rd international workshop on Automation of software test10.1145/1370042.1370060(79-84)Online publication date: 11-May-2008
https://dl.acm.org/doi/10.1145/1370042.1370060
Hirsch MHenkler SGiese HCheng Bde Lemos RGarlan DGiese HLitoiu MMagee JMüller HTaylor R(2008)Modeling collaborations with dynamic structural adaptation in mechatronic UMLProceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems10.1145/1370018.1370026(33-40)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.1145/1370018.1370026
Giese HNeumann SNiggemann OSchätz B(2007)Model-based integrationProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927561(17-54)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927561
Burmester SGiese HHenkler SHirsch MTichy MGambuzza AMunch EVocking H(2007)Tool Support for Developing Advanced Mechatronic SystemsProceedings of the 29th international conference on Software Engineering10.1109/ICSE.2007.88(801-804)Online publication date: 24-May-2007
https://dl.acm.org/doi/10.1109/ICSE.2007.88
Giese HHenkler SHierons RMuccini H(2006)Architecture-driven platform independent deterministic replay for distributed hard real-time systemsProceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis10.1145/1147249.1147253(28-38)Online publication date: 17-Jul-2006
https://dl.acm.org/doi/10.1145/1147249.1147253
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents