Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems

Abstract

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 deadlockfreedom 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.

Modelling and verifying time‐aware processes for cyber‐physical environments

“…System simulation using models is widely used for analysis, validation and verification. For the design of the physical behaviour, state-of-the-art tools and languages such as MATLAB Simulink or Modelica [36][37][38][39] can be used. Garro et al in [37] define an approach that maps the FORM-L CPS models to Modelica in order to check the consistency of the requirements among themselves.…”

“…These requirements are relative to the environment of the system. In another work [38], Pohlmann et al define a mapping from mechatronic‐UML (MUML) to Modelica to ensure that the interactions between the software and the physical elements are correct. Simulink is a simulation and model‐based design tool that is widely used for specifying and analysing the behaviour of CPS [40].…”

A tool suite for the model-driven software engineering of cyber-physical systems

“…the behavior) into input models of these simulation languages. For automating this task, we developed transformations from MECHATRON-ICUML to MATLAB/Simulink [12] and to Modelica/Dymola [17].…”

Integrated and iterative systems engineering and software requirements engineering for technical systems

“…On the other hand, a growing part of the software is dedicated to the message‐based coordination of systems (e.g., car‐2‐car communication). This coordination behavior is specified by means of discrete, state‐based, and event‐triggered models . We regard the discipline of software engineering as the one that designs this coordination behavior.…”