Conference article

Modelica code generation from ModelicaML state machines extended by asynchronous communication

Uwe Pohlmann
Software Engineering Group, Department of Computer Science, University of Paderborn, Germany

Matthias Tichy
Organic Computing, Department of Computer Science, University of Augsburg, Germany

Download article

Published in: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011

Linköping Electronic Conference Proceedings 56:9, p. 75-84

Show more +

Published: 2011-11-03

ISBN: 978-91-7519-825-5

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

Innovation in cyber-physical systems is today largely driven by embedded software. Thus; appropriate approaches have to be employed to handle the complexity that results from the multi-discipline nature of these innovative cyberphysical systems. Modelica as modeling language specifically targets these multi-discipline systems. The UML profile ModelicaML combines the graphical notation of the UML with the sound formal modeling provided by Modelica. ModelicaML currently does not support modeling asynchronous communication which is increasingly required when cyber-physical systems have to coordinate their behavior. In this paper; we present our approach for Modelica code generation from ModelicaML state machines which have been extended by asynchronous communication. We illustrate our approach by an extended two tanks system that contains two distributed controllers which coordinate themselves by message exchange.

Keywords

UML 2.2; State Machine; ModelicaML; Modelica; State Graph2; MechatronicUML

References

[1] Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science; 126:183–235; 1994.

[2] Steffen Becker; Stefan Dziwok; Thomas Gewering; Christian Heinzemann; Uwe Pohlmann; Claudia Priesterjahn; Wilhelm Schäfer; Oliver Sudmann; and Matthias Tichy. Mechatronicuml - syntax and semantics. Technical Report tr-ri-11-325; Software Engineering Group; University of Paderborn; Heinz Nixdorf Institute; 2011.

[3] Sven Burmester; Holger Giese; Stefan Henkler; Martin Hirsch; Matthias Tichy; Alfonso Gambuzza; Eckehard Münch; and Henner Vöcking. Tool support for developing advanced mechatronic systems: Integrating the fujaba realtime tool suite with camel-view. In Proceedings of ICSE; pages 801–804; 2007.

[4] Sven Burmester; Holger Giese; and Matthias Tichy. Modeldriven development of reconfigurable mechatronic systems with mechatronic uml. In Proceedings of MDAFA; pages 47–61; 2004.

[5] Kevin C. Craig. Mechatronic system design. In Proceedings of the Motor; Drive & Automation Systems Conference; 2009.

[6] Ulrich Donath; Jürgen Haufe; Torsten Blochwitz; and Thomas Neidhold. A new approach for modeling and verification of discrete control components within a Modelica environment. In Proceedings of the 6th Modelica Conference; Bielefeld; pages 269–276; 2008.

[7] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press; 1st edition; 2004.

[8] Holger Giese; Sven Burmester;Wilhelm Schäfer; and Oliver Oberschelp. Modular design and verification of componentbased mechatronic systems with online-reconfiguration. In Proceedings of 12th ACM SIGSOFT FSE; pages 179–188; 2004.

[9] Holger Giese; Matthias Tichy; Sven Burmester; Wilhelm Schäfer; and Stephan Flake. Towards the compositional verification of real-time uml designs. In Proceedings of 9th ESEC and 11th ACM SIGSOFT FSE; pages 38–47. ACM Press; 2003.

[10] Martin Otter; Hilding Elmqvist; and Sven E. Mattsson. Hybrid modeling in Modelica based on the synchronous data flow principle. In Proceedings of CACSD; pages 151– 157; 1999.

[11] Martin Otter; Martin Malmheden; Hilding Elmqvist; Sven E. Mattsson; and Charlotta Johnsson. A New Formalism for Modeling of Reactive and Hybrid Systems. In Proceedings of the 7th Modelica Conference; pages 364–377; 2009.

[12] Uwe Pohlmann. A uml based modeling language with operational semantics defined by modelica. Master thesis; University of Paderborn; Department of Computer Science; Software Engineering Group; 2010. Master Thesis.

[13] Adrian Pop; David Akhlevidiani; and Peter Fritzson.Integrated UML and modelica system modeling with ModelicaML in Eclipse. In Proceedings of the 11th IASTED; 2007.

[14] Adrian Pop; David Akhlevidiani; and Peter Fritzson. Towards unified system modeling with the ModelicaML UML profile. In Proceedings of EOOLT; pages 13–24; 2007.

[15] Victorino Sanz; Alfonso Urquia; and Sebastian Dormido. Introducing messages in modelica for facilitating discreteevent system modeling. In Proceedings of EOOLT; pages 83–93; 2008.

[16] Wladimir Schamai. Modelica modeling language (modelicaml) : A uml profile for modelica. Technical report; Linköping University; Department of Computer and Information Science; The Institute of Technology; 2009.

[17] Wladimir Schamai; Uwe Pohlmann; Peter Fritzson; ChristiaanJ.J. Paredis; Philipp Helle; and Carsten Strobel. Execution of uml state machines using modelica. In Proceedings of EOOLT; pages 1–10; 2010.

[18] Rajarishi Sinha; Vei-Chung Liang; Student Member; Christiaan J. J. Paredis; and Pradeep K. Khosla. Modeling and simulation methods for design of engineering systems. Journal of Computing and Information Science in Engineering; 1:84–91; 2001.

[19] Object Management Group UML. Unified modeling language; superstructure; v2.2. Technical report; 2009. 84

Citations in Crossref