Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | A Modelica Library for Real-Time Coordination Modeling

Title:
A Modelica Library for Real-Time Coordination Modeling
Author:
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
DOI:
10.3384/ecp12076365
Download:
Full text (pdf)
Year:
2012
Conference:
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Issue:
076
Article no.:
038
Pages:
365-374
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2012-11-19
ISBN:
978-91-7519-826-2
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

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

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:
Uwe Pohlmann, Stefan Dziwok, Julian Suck, Boris Wolf, Chia Choon Loh, Matthias Tichy
Title:
A Modelica Library for Real-Time Coordination Modeling
DOI:
10.3384/ecp12076365
References:
[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.

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:
Uwe Pohlmann, Stefan Dziwok, Julian Suck, Boris Wolf, Chia Choon Loh, Matthias Tichy
Title:
A Modelica Library for Real-Time Coordination Modeling
DOI:
10.3384/ecp12076365
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment