Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Generating Modelica models from software specifications for the simulation of cyber-physical systems

: Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias; Gerking, Christopher

Postprint urn:nbn:de:0011-n-3396907 (339 KByte PDF)
MD5 Fingerprint: 9cd4e35a5eafcb242c2601ef6b2e2787
© IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Erstellt am: 14.5.2015

Rabiser, Rick (Ed.) ; Institute of Electrical and Electronics Engineers -IEEE-:
40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2014. Proceedings : 27-29 August 2014, Verona, Italy
Los Alamitos, Calif.: IEEE Computer Society Conference Publishing Services (CPS), 2014
ISBN: 978-1-4799-5794-1
ISBN: 978-1-4799-5795-8
Conference on Software Engineering and Advanced Applications (SEAA) <40, 2014, Verona>
Konferenzbeitrag, Elektronische Publikation
Fraunhofer IPT ()

Future smart systems will provide functionality by dynamically interacting with each other in cyber-physical systems. Such interactions require a message-based coordination under hard real-time constraints. This is realized by complex software, which combines discrete, state-based behavior with continuous behavior controlling the dynamics of the physical system parts. The development methods and tools for these kinds of software are not well integrated so far. For the modeling and simulation of physical and continuous control behavior, Modelica can be used. For modeling the discrete coordination behavior, MECHATRONICUML (MUML) can be used, which in addition offers a formal verification of safety requirements like deadlock-freedom of interactions, for example. We introduce in this paper an automatic transformation for formally verified MUML models into Modelica to ensure that the discrete state-based software correctly interacts with the continuous control software, physical parts, and a plant model. We illustrate this concept by means of a car-to-car coordination scenario.