Skip to main content
SpringerLink
Log in

Model-Driven Development with Mechatronic UML

  • Chapter
Graph Transformations and Model-Driven Engineering

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5765))

Abstract

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 automotive or railway domain. Mechatronic UML is a UML profile specifically tailored towards the modelling of mechatronic systems. It aims at bringing model-based design and formal analysis to the mechatronic area, which has originally been dominated by engineering techniques. In this paper we give a survey of the modelling as well as verification techniques supported by Mechatronic UML.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. In: 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol. 199, pp. 329–351. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  2. Alur, R., Dang, T., Esposito, J.M., Fierro, R.B., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 14–31. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  3. Amnell, T., David, A., Fersman, E., Oliver Möller, M., Pettersson, P., Yi, W.: Tools for real-time UML: Formal verification and code synthesis. In: Workshop on Specification, Implementation and Validation of Objectoriented Embedded Systems (SIVOES 2001), Budapest, Hungary, pp. 1–4 (June 2001)

    Google Scholar 

  4. Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Transactions on Software Engineering 30(7), 473–487 (2004)

    Article  MATH  Google Scholar 

  5. Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, pp. 72–81. ACM Press, New York (2006)

    Google Scholar 

  6. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST, pp. 125–126. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  7. Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems: Specification, simulation, test case generation. In: Modelling, Analysis, and Design of Hybrid Systems. Lecture Notes in Control and Information Sciences, vol. 279, pp. 37–51. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  8. Briand, L.C., Wolf, A.L. (eds.): International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, Minneapolis, MN, USA, May 23-25 (2007)

    Google Scholar 

  9. Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In: Bobeanu, C. (ed.) Proc. of European Simulation and Modelling Conference (ESMc 2004), Paris, France, pp. 66–73. EOROSIS Publications (October 2004)

    Google Scholar 

  10. Burmester, S., Giese, H., Henkler, S., Hirsch, M., Tichy, M., Gambuzza, A., Müch, E., Vöcking, H.: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In: Proceedings of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801–804. IEEE Computer Society Press, Los Alamitos (May 2007)

    Chapter  Google Scholar 

  11. Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML/RT in the FUJABA real-time tool suite. In: Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS 2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML 2004, pp. 1–20 (October 2004)

    Google Scholar 

  12. Burmester, S., Giese, H., Münch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent systems. International Journal on Software Tools for Technology Transfer 10(3), 207–222 (2008)

    Article  Google Scholar 

  13. Burmester, S., Giese, H., Schäfer, W.: Code generation for hard real-time systems from real-time statecharts. Technical Report tr-ri-03-244, University of Paderborn, Paderborn, Germany (October 2003)

    Google Scholar 

  14. 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. 208–241. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  15. Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation - part ii: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars, pp. 247–312. World Scientific, Singapore (1997)

    Google Scholar 

  16. Flake, S., Mueller, 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)

    Chapter  Google Scholar 

  17. 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, pp. 179–188. ACM Press, New York (November 2004)

    Google Scholar 

  18. Giese, H., Henkler, S.: A survey of approaches for the visual model-driven development of next generation software-intensive systems. Journal of Visual Languages and Computing 17, 528–550 (2006)

    Article  Google Scholar 

  19. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the compositional verification of real-time uml designs. In: Proc. of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International symposium on Foundations of Software Engineering (ESEC/FSE-11), pp. 38–47. ACM Press, New York (September 2003)

    Google Scholar 

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

    Chapter  Google Scholar 

  21. Güdemann, M., Ortmeier, F., Reif, W.: Formal modeling and verification of systems with self-x properties. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds.) ATC 2006. LNCS, vol. 4158, pp. 38–47. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Henkler, S., Greenyer, J., Hirsch, M., Schäfer, W., Alhawash, K., Eckardt, T., Heinzemann, C., Löffler, R., Seibel, A., Giese, H.: Synthesis of timed behavior from scenarios in the fujaba real-time tool suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada (May 2009)

    Google Scholar 

  23. Henkler, S., Hirsch, M., Priesterjahn, C.: Hybrid model checking with the fujaba real-time tool suite. In: Aßmann, U., Johannes, J., Zündorf, A. (eds.) Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 40–43 (September 2008)

    Google Scholar 

  24. Henzinger, T.A.: The Theory of Hybrid Automata. In: Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278–292 (1996)

    Google Scholar 

  25. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: The next generation. In: IEEE Real-Time Systems Symposium, pp. 56–65 (1995)

    Google Scholar 

  26. Henzinger, T.A., Manna, Z., Pnueli, A.: What Good Are Digital Clocks? In: ICALP 1992. LNCS, vol. 623, pp. 545–558. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  27. Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230–237. INSTICC Press (August 2004)

    Google Scholar 

  28. Hirsch, M., Henkler, S., Giese, H.: Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In: Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany, pp. 33–40. ACM Press, New York (May 2008)

    Chapter  Google Scholar 

  29. Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Computer society, Los Alamitos (2003)

    Google Scholar 

  30. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand and Wolf [8], pp. 259–268

    Google Scholar 

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

    Google Scholar 

  32. Lynch, N.: Input/output automata: Basic, timed, hybrid, probabilistic, dynamic,.. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 191–192. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  33. Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (September 2002), http://cgi.omg.org/docs/ptc/02-03-02.pdf

  34. Object Management Group: Systems Modeling Language (SysML) Specification (January 2005)

    Google Scholar 

  35. Object Management Group: Systems Modeling Language (SysML) Specification (2006)

    Google Scholar 

  36. OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE) (2008)

    Google Scholar 

  37. OMG: Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc/02-03-02 (September 2002), http://cgi.omg.org/docs/ptc/02-03-02.pdf

  38. Osmic, S., Münch, E., Trächtler, A., Henkler, S., Schäfer, W., Giese, H., Hirsch, M.: Safe online-reconfiguration of self-optimzing mechatronic systems. In: Gausemeier, J., Rammig, F., Schäfer, W. (eds.) Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik, pp. 411–426 (February 2008)

    Google Scholar 

  39. Priesterjahn, C., Tichy, M., Henkler, S., Hirsch, M., Schäfer, W.: Fujaba4eclipse Real-Time Tool Suite. In: Model-Based Engineering of Embedded Real-Time Systems (MBEERTS). LNCS, pp. 1–7. Springer, Heidelberg (2009) (to appear)

    Google Scholar 

  40. Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  41. Rensink, A., Distefano, D.: Abstract Graph Transformation. Electronic Notes in Theoretical Computer Science 157(1), 39–59 (2006)

    Article  MATH  Google Scholar 

  42. Schäfer, W., Wehrheim, H.: The Challenges of Building Advanced Mechatronic Systems. In: Briand and Wolf [8], pp. 72–84

    Google Scholar 

  43. Wilhelm, R., Reps, T.W., Sagiv, S.: Shape analysis and applications. In: The Compiler Design Handbook, pp. 175–218 (2002)

    Google Scholar 

  44. Zhang, J., Cheng, B.H.C.: Model-based Development of Dynamically Adaptive Software. In: ICSE 2006: Proceeding of the 28th International Conference on Software Engineering, New York, NY, USA, pp. 371–380 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Heinz Nixdorf Institute, Software Engineering Group, University of Paderborn, Warburger Str. 100, 33098, Paderborn, Germany

    Wilhelm Schäfer

  2. Specification and Modelling of Software Systems, Department of Computer Science, University of Paderborn, Warburger Str. 100, 33098, Paderborn, Germany

    Heike Wehrheim

Authors
  1. Wilhelm Schäfer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heike Wehrheim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät für Elektrotechnik, Informatik und Mathematik, University of Paderborn, Institut für Informatik Warburger Str. 100, 33098, Paderborn, Germany

    Gregor Engels

  2. Software Systems Engineering Research Group, Brandenburg Technical University at Cottbus, Konrad-Wachsmann-Allee 1, 03046, Cottbus, Germany

    Claus Lewerentz

  3. Department of Mathematics and Computer Science, University of Paderborn, Warburger Str. 100, 33098, Paderborn, Germany

    Wilhelm Schäfer

  4. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Merckstraße 25, 64283, Darmstadt, Germany

    Andy Schürr

  5. Angewandte Informatik I, University of Bayreuth, Universitätsstr. 30, 95447, Bayreuth, Germany

    Bernhard Westfechtel

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schäfer, W., Wehrheim, H. (2010). Model-Driven Development with Mechatronic UML. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds) Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, vol 5765. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17322-6_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17322-6_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17321-9

  • Online ISBN: 978-3-642-17322-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation