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
 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.
 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.
 C. Ebert and C. Jones. Embedded software: Facts; figures; and future. IEEE Computer; 42(4):42â€“52; 2009. doi: 10.1109/MC.2009.118.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.