Abstract:A Cyber-Physical System (CPS) comprises physical as well as software subsystems. Simulation-based approaches are typically used to support design and Verification and Validation (V&V) of CPSs in several domains such as: aerospace, defence, automotive, smart grid and healthcare. Accordingly, many simulation-based tools are available, and this poses huge interoperability challenges. To overcome them, in 2010 the Functional Mock-up Interface (FMI) was proposed as an open standard to support both Model Exchange (ME) and Co-Simulation (CS). Models adhering to such a standard are called Functional Mock-up Units (FMUs). FMUs play an essential role in defining complex CPSs through, e.g., the SSP standard. Simulation-based V&V of CPSs typically requires exploring different scenarios (i.e., exogenous CPS input sequences), many of them showing a shared prefix. Accordingly, the simulator state at the end of a shared prefix is saved and then restored and used as a start state for the simulation of the next scenario. In this context, an important FMI feature is the capability to save and restore the internal FMU state on demand. Unfortunately, the implementation of this feature is not mandatory and it is available only within some commercial software. This motivates developing such a feature for open-source CPS simulation environments. In this paper, we focus on JModelica, an open-source modelling and simulation environment for CPSs defined in the Modelica language. We describe how we have endowed JModelica with our open-source implementation of the FMI 2.0 functions to save and restore internal states of FMUs for ME. Furthermore, we present results evaluating, through 934 benchmark models, correctness and efficiency of our extended JModelica. Our results show that simulation-based V&V is, on average, 22 times faster with our get/set functionality than without it.

Tool Support for Modelica Real-time Models

Power System Real-Time Simulation using Modelica and the FMI

Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System

Online Model Checking for Dependable Real-Time Systems

SM @ RT : Supporting Model-Based Runtime Management

Structure based model reduction in real-time optimization

The Development of a Realistic Simulation Framework with OMNeT++

Enhancing the Realism of Autonomous Driving Simulation with Real-Time Co-Simulation.

Efficient design and optimization of MEMS by integrating commercial simulation tools

Review of RT-LAB and Steps Involved for Implementation of a Simulink Model from MATLAB to REAL-TIME

Real-time Engine Model Development Based on Time Complexity Analysis

Aero-Engine Real-Time Models and Their Applications

Modeling and optimization of manufacturing process performance using Modelica graphical representation and process analytics formalism

Review of Real-Time Simulator and the Steps Involved for Implementation of a Model from MATLAB/SIMULINK to Real-Time

Design of Real-Time Support System Based on RTX and Reflective Memory

Reconciling interoperability with efficient Verification and Validation within open source simulation environments

Design and implementation of real-time simulation system of OTV based on xPC target and SIT

Supporting Modularity in Simulink Models

Improving Computation Time for Optimization Runs of Modelica-Based Energy Systems

Tool interoperability for model-based systems engineering

SM@RT: representing run-time system data as MOF-compliant models