Uwe Pohlmann
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany
Wilhelm Schäfer
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany
Hendrik Reddehase
Solunar GmbH, Gutersloh, German
Jens Röckemann
Solunar GmbH, Gutersloh, German
Robert Wagner
Solunar GmbH, Gutersloh, German
Ladda ner artikel
http://dx.doi.org/10.3384/ecp12076765Ingår i: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Linköping Electronic Conference Proceedings 76:78, s. 765-774
Publicerad: 2012-11-19
ISBN: 978-91-7519-826-2
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
This paper presents an approach to use the Functional Mockup Interface (FMI) for integration of classical controller specifications and statechart-based specifications of real-time critical message exchange protocols. The Functional Mockup Unit (FMU) is automatically generated from the specification. Using the generated FMU we are able to exploit simulation facilities as provided by Modelica/Dymola.
[1] R. Alur; C. Courcoubetis; N. Halbwachs; T.A. Henzinger; P.H. Ho; X. Nicollin; A. Olivero; J. Sifakis; and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical computer science; 138(1):3-34; 1995.
doi:
10.1016/0304-3975(94)00202-T.
[2] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science; 126:183-235; 1994.
doi: 10.1016/0304-3975(94)90010-8.
[3] S. Becker; C. Brenner; S. Dziwok; T. Gewering; C. Heinzemann; U. Pohlmann; C. Priesterjahn; W. Schafer; 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.
[4] G. Behrmann; A. David; and K. Larsen. A tutorial on uppaal. Formal methods for the design of real-time systems; pages 33-35; 2004.
[5] F. Bouchhima; G. Nicolescu; E. M. Aboulhamid; and M. Abid. Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. Microelectron. J.; 38(6-7):805-815; June 2007.
doi: 10.1016/j.mejo.2007.04.001.
[6] MODELISAR Consortium. Functional mockup interface for co-simulation. version 1.0; 2010. www.functional-mockup-interface.org.
[7] MODELISAR Consortium. Functional mock-up interface for model exchange. version 1.0; 2010. www.functional-mockup-interface.org.
[8] 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 (Modelica 2008); Bielefeld; pages 269-276; 2008.
[9] S. Dziwok; C. Heinzemann; and M. Tichy. Realtime coordination patterns for advanced mechatronic systems. In Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION 2012); pages 166-180; June 2012.
doi: 10.1007/978-3-642-30829-1_12.
[10] S. Gaaloul; B. Delinchant; F. Wurtz1; and F. Verdière. Software components for dynamic building simulation. In Proceedings of Building Simulation 2011: 12th Conference of International Building Performance Simulation Association; Sydney; Australia; pages 2278-2284; November 2011.
[11] J. Gausemeier; T. Schierbaum; R. Dumitrescu; S. Herbrechtsmeier; and A. Jungmann. Miniature robot bebot: Mechatronic test platform for self-x properties. In Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN 2011); pages 451-456; July 2011.
doi: 10.1109/INDIN.2011.6034921.
[12] H. Giese and S. Burmester. Real-time statechart semantics. Technical Report tr-ri-03-239; Lehrstuhl fur Softwaretechnik; University Paderborn; Paderborn; Germany; June 2003.
[13] H. Giese; S. Burmester; W. Schafer; and O. Oberschelp. Modular design and verification of component-based mechatronic systems with online-reconfiguration. In Proceedings of 12th ACM SIGSOFT FSE; pages 179-188; 2004.
doi: 10.1145/1029894.1029920.
[14] H. Giese; M. Tichy; S. Burmester; W. Schafer; and S. Flake. Towards the compositional verification of real-time uml designs. In Proc. of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11); 2003.
[15] H. Giese; M. Tichy; S. Burmester; W. Schafer; and S. 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.
[16] QTronic GmbH. FMU SDK 1.0.2; 2011. www.qtronic.de/de/fmusdk.html.
[17] G. Hamon and J. Rushby. An operational semantics for Stateflow. International Journal on Software Tools for Technology Transfer (STTT); 9(5):447-456; 2007.
doi: 10.1007/s10009-007-0049-7.
[18] C. Heinzemann; U. Pohlmann; J. Rieke; W. Schafer; 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.
[19] T.A. Henzinger. The theory of hybrid automata. In Logic in Computer Science; 1996. LICS’96. Proceedings.; Eleventh Annual IEEE Symposium on; pages 278-292. IEEE; 1996.
[20] R. Kossel; W. Tegethoff; M. Bodmann; and N. Lemke. Simulation of complex systems using modelica and tool coupling. In Proceedings of the 5th International Modelica Conference (Modelica 2006); pages 485-490; 2006.
[21] P. Marwedel. Embedded and cyber-physical systems in a nutshell. DAC. COM Knowledge Center Article; 2010.
[22] 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 Conference (Modelica 2009); Como; Italy; pages 364-377; 2009.
[23] 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.
[24] 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.
[25] W. Schafer and H. Wehrheim. Model-driven development with mechatronic uml. Graph transformations and model-driven engineering; pages 533-554; 2010.
[26] W. Schamai. Modelica modeling language (modelicaml): A uml profile for modelica. Technical report; Linkoping University; Department of Computer and Information Science; The Institute of Technology; 2009.
[27] C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley; 1998.
