.RealTimeCoordinationLibrary.UsersGuide.Literature .RealTimeCoordinationLibrary.UsersGuide.LiteratureThe RealTimeCoordination library is described in detail in
and is additionally based on the following references:
[1] R. Alur and D.L. Dill. A theory of timed automata. Theoretical computer science, 126(2):183–235, 1994.
[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] Lionel C. Briand and Alexander L. Wolf, editors.
International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, 2007.
[4] 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.
[5] Christof Ebert and Capers Jones. Embedded software: Facts, figures, and future. IEEE Computer, 42(4):42– 52, 2009.
[6] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press, 1st edition, 2004.
[7] Object Management Group. Omg unified modeling language (omg uml), superstructure, v2.4.1. Technical report, 2011.
[8] D. Harel. Statecharts: A visual formalism for complex systems. Science of computer programming, 8(3):231–274, 1987.
[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.
[10] S. Herbrechtsmeier, U. Witkowski, and U. Rückert. Bebot: A modular mobile miniature robot platform supporting hardware reconfiguration and multistandard 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.
[11] I. Kaiser, T. Kaulmann, J. Gausemeier, and
U. Witkowski. Miniaturization of autonomous robots by the new technology molded interconnected devices (mid). In Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, October 2007.
[12] 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.
[13] M. Malmheden, Hilding Elmqvist, S.E. Mattsson,
D. Henriksson, and M. Otter. ModeGraph-A Modelica Library for Embedded Control Based on Mode-Automata. In in Proc. of Modelica 2008 conference, Bielefeld, Germany., 2008.
[14] M. Otter, K-E. Årzén, and I. Dressler. StateGraph–A Modelica Library for Hierarchical State Machines. In Proceedings of the 4th International Modelica Conference (Modelica 2005), Hamburg, Germany, 2005.
[15] 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.
[16] 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.
[17] 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.
[18] W. Schäfer and H. Wehrheim. The Challenges of Building Advanced Mechatronic Systems. In Briand and Wolf [3], pages 72–84.
[19] 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.
[20] 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.
[21] 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.