Konferensartikel

A Modelica Library for Real-Time Coordination Modeling

Uwe Pohlmann
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

Stefan Dziwok
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

Julian Suck
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

Boris Wolf
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

Chia Choon Loh
Control Engineering and Mechatronics Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

Matthias Tichy
Department of Computer Science and Engineering, Chalmers/University of Gothenburg, Sweden

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp12076365

Ingår i: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Linköping Electronic Conference Proceedings 76:38, s. 365-374

Visa mer +

Publicerad: 2012-11-19

ISBN: 978-91-7519-826-2

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

Abstract

Increasingly; innovative functionality in embedded systems is realized by connecting previously autonomous embedded systems. This requires real-time communication and coordination between these connected systems. Modelica and the StateGraph2 library provide a good environment for modeling embedded systems including controllers and physics. However; it lacks appropriate support for modeling the communication and coordination part.

In this paper; we present an extension to the StateGraph2 library that enables modeling asynchronous and synchronous communication and rich real-time constraints. We illustrate our extension of the StateGraph2 library by modeling and simulating two miniature robots driving in a platoon.

Nyckelord

StateGraph2; Modelica Library; Coordination; Asynchronous Communication; Real-Time

Referenser

[1] R. Alur and D.L. Dill. A theory of timed automata. Theoretical computer science; 126(2):183–235; 1994. doi: 10.1016/0304-3975(94)90010-8.

[2] S. Becker; C. Brenner; S. Dziwok; T. Gewering; C. Heinzemann; U. Pohlmann; C. Priesterjahn; W. Schäfer; J. Suck; O. Sudmann; and M. Tichy. The mechatronicuml method - process; syntax; and semantics. Technical Report tr-ri-12-318; Software Engineering Group; Heinz Nixdorf Institute; University of Paderborn; 2012.

[3] U. Donath; J. Haufe; T. Blochwitz; and T. 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.

[4] C. Ebert and C. Jones. Embedded software: Facts; figures; and future. IEEE Computer; 42(4):42–52; 2009. doi: 10.1109/MC.2009.118.

[5] D. Harel. Statecharts: A visual formalism for complex systems. Science of computer programming; 8(3):231–274; 1987. doi: 10.1016/0167-6423(87)90035-9.

[6] C. Heinzemann; U. Pohlmann; J. Rieke; W. Schäfer; O. Sudmann; and M. Tichy. Generating simulink and stateflow models from software specifications. In Proceedings of the International Design Conference; DESIGN 2012; Dubrovnik; Croatia; May 2012.

[7] S. Herbrechtsmeier; U.Witkowski; and U. Rückert. Bebot: A modular mobile miniature robot platform supporting hardware reconfiguration and multi-standard communication. In Progress in Robotics; Communications in Computer and Information Science. Proceedings of the FIRA RoboWorld Congress 2009; volume 44; pages 346–356; Incheon; Korea; 2009. Springer.

[8] C. C. Loh and A. Trächtler. Laser-sintered platform with optical sensor for a mobile robot used in cooperative load transport. In Proceedings of the 37th Annual Conference on IEEE Industrial Electronics Society; pages 888–893; November 2011.

[9] M. Otter; M. Malmheden; H. Elmqvist; S.E. Mattsson; C. Johnsson; D. Systèmes; and S.D. Lund. A new formalism for modeling of reactive and hybrid systems. In Proceedings of the 7th Modelica’2009 Conference; Como; Italy; 2009.

[10] M. Pajic; Z. Jiang; I. Lee; O. Sokolsky; and R. Mangharam. From verification to implementation: A model translation tool and a pacemaker case study. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012); Beijing; China; April 2012. doi: 10.1109/RTAS.2012.25.

[11] U. Pohlmann and M. Tichy. Modelica code generation from ModelicaML state machines extended by asynchronous communication. In Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; EOOLT 2011; Zurich; Switzerland; 2011.

[12] W. Schäfer and H. Wehrheim. The Challenges of Building Advanced Mechatronic Systems. In Lionel C. Briand and Alexander L. Wolf; editors; FOSE; pages 72–84; 2007.

[13] W. 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.

[14] W. Schamai; U. Pohlmann; P. Fritzson; C. J.J. Paredis; P. Helle; and C. Strobel. Execution of uml state machines using modelica. In Proceedings of EOOLT; pages 1–10; 2010.

[15] C. Weiß. V2X communication in Europe - From research projects towards standardization and field testing of vehicle communication technology. Computer Networks; 55(14):3103–3119; 2011. doi: 10.1016/j.comnet.2011.03.016.

Citeringar i Crossref