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

by   Stefano Sinisi, et al.

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.



There are no comments yet.


page 21

page 24


MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs

In this paper, we overview our experiences of developing large set of op...

Cyber-Physical Testbed for Power System Wide-Area Measurement-Based Control Using Open-Source Software

The electric power system is a cyber-physical system with power flow in ...

Towards Utility-based Prioritization of Requirements in Open Source Environments

Requirements Engineering in open source projects such as Eclipse faces t...

SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems

Motivation: SBML is the most widespread language for the definition of b...

Implementation of high-precision computation capabilities into the open-source dynamic simulation framework YADE

This paper deals with the implementation of arbitrary precision calculat...

Vectorized Calculation of Short Circuit Currents Considering Distributed Generation - An Open Source Implementation of IEC 60909

An important task in grid planning is to ensure that faults in the grid ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.