Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | Generating Functional Mockup Units from Software Specifications

Title:
Generating Functional Mockup Units from Software Specifications
Author:
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
DOI:
10.3384/ecp12076765
Download:
Full text (pdf)
Year:
2012
Conference:
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Issue:
076
Article no.:
078
Pages:
765-774
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


Export in BibTex, RIS or text

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.

Keywords: Systems Engineering; Software Engineering; MechatronicUML; FMI; FMU; Modelica

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

Author:
Uwe Pohlmann, Wilhelm Schäfer, Hendrik Reddehase, Jens Röckemann, Robert Wagner
Title:
Generating Functional Mockup Units from Software Specifications
DOI:
http://dx.doi.org/10.3384/ecp12076765
References:
[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.

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

Author:
Uwe Pohlmann, Wilhelm Schäfer, Hendrik Reddehase, Jens Röckemann, Robert Wagner
Title:
Generating Functional Mockup Units from Software Specifications
DOI:
http://dx.doi.org/10.3384/ecp12076765
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment