Article | Proceedings of the 10<sup>th</sup> International Modelica Conference; March 10-12; 2014; Lund; Sweden | Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
Göm menyn

Title:
Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
Author:
Yishai A. Feldman: IBM Research – Haifa, Israel Lev Greenberg: IBM Research – Haifa, Israel Eldad Palachi: Rational, IBM Israel, Rehovot, Israel
DOI:
10.3384/ecp1409643
Download:
Full text (pdf)
Year:
2014
Conference:
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Issue:
096
Article no.:
004
Pages:
43-52
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2014-03-10
ISBN:
978-91-7519-380-9
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

The Functional Mockup Interface (FMI) standard enables hybrid simulation of models from different tools. Such tools can have different underlying behavioral semantics; creating challenges when models are combined. A case in point is the combination of the Rhapsody tool; widely used to describe and implement discrete control behavior; and Modelica; widely used to describe continuous plant behavior.

This paper describes a plugin we developed for exporting Functional Mockup Units (FMUs) from Rhapsody; and the results of combining generated FMUs with continuous models. When a Rhapsody FMU is used in a different environment; some basic assumptions on its behavior are challenged. We describe the semantic mismatches between the tools; to what extent they can be overcome; and what modelers need to do in order to preserve the intended semantics of an exported FMU.

Keywords: FMI; Rhapsody; SysML; Hybrid simulation

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Yishai A. Feldman, Lev Greenberg, Eldad Palachi
Title:
Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
DOI:
http://dx.doi.org/10.3384/ecp1409643
References:

[1] S. Becker, C. Brenner, C. Brink, S. Dziwok, C. Heinzemann, U. Pohlmann, W. Schäfer, J. Suck, O. Sudmann, and R. Löffler. The MechatronicUML design method – process, syntax, and semantics. Technical Report tr-ri-12-326, Heinz Nixdorf Institute, University of Paderborn, 2012.


[2] D. Broman, C. Brooks, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter. Determinate composition of FMUs for co-simulation. In Proc. Int’l Conf. Embedded Software (EMSOFT), pages 1–12, 2013.


[3] D. Broman, E. A. Lee, S. Tripakis, and M. Törngren. Viewpoints, formalisms, languages, and tools for cyber-physical systems. In Proc. 6th Int’l Workshop on Multi-Paradigm Modeling, 2012. DOI: 10.1145/2508443.2508452


[4] L. P. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-Vincentelli. Languages and tools for hybrid systems design. Foundations and Trends in Electronic Design Automation, 1(1–2), 2006.


[5] P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli. Modeling cyber-physical systems. Proceedings of the IEEE, 100(1):13–28, 2012. DOI: 10.1109/JPROC.2011.2160929


[6] D. Harel. Statecharts: A visual formalism for complex systems. Sci. Computer Programming, pages 231–274, 1987. DOI: 10.1016/0167-6423(87)90035-9


[7] D. Harel and H. Kugler. The Rhapsody semantics of statecharts (or, on the executable core of the UML). In Integration of Software Specification Techniques for Applications in Engineering, pages 325–354. Springer, 2004. DOI: 10.1007/978-3-540-27863-4_19


[8] U. Pohlmann, W. Schäfer, H. Reddehase, J. Röckemann, and R. Wagner. Generating functional mockup units from software specifications. In Proc. 9th Int’l Modelica Conf., pages 765–774, 2012.


[9] T. Sakairi, E. Palachi, C. Cohen, Y. Hatsutori, J. Shimizu, and H. Miyashita. Designing a control system using SysML and Simulink. In Proc. SICE Annual Conf., pages 2011–2017, 2012.


[10] W. Schamai. Modelica modeling language (ModelicaML): A UML profile for Modelica. Technical report, Linköping University, 2009.


[11] W. Schamai, U. Pohlmann, P. Fritzson, C. J. J. Paredis, P. Helle, and C. Strobel. Execution of UML state machines using Modelica. In Third Int’l Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), pages 1–10, 2010.

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Yishai A. Feldman, Lev Greenberg, Eldad Palachi
Title:
Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
DOI:
http://dx.doi.org/10.3384/ecp1409643
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21