Abstract
Co-simulation is a technique to orchestrate multiple simulators
in order to approximate the behavior of a coupled system as a
whole. Simulators execute in a lockstep fashion, each exchanging inputs
and output data points with the other simulators at pre-accorded time
points. In the context of systems with a physical and a cyber part, the communication frequency with which the simulators of each part communicate can have a negative impact in the accuracy of the global simulation results.
In fact, the computed behavior can be qualitatively different, compared
to the actual behavior of the original system, laying waste to potentially
many hours of computation. It is therefore important to develop methods
that answer whether a given communication frequency guarantees
trustworthy co-simulation results. In this paper, we take a small step in that direction. We develop a technique to approximate the lowest frequency for which a particular set of simulation tools can exchange values in a co-simulation and obtain results that can be trusted.
in order to approximate the behavior of a coupled system as a
whole. Simulators execute in a lockstep fashion, each exchanging inputs
and output data points with the other simulators at pre-accorded time
points. In the context of systems with a physical and a cyber part, the communication frequency with which the simulators of each part communicate can have a negative impact in the accuracy of the global simulation results.
In fact, the computed behavior can be qualitatively different, compared
to the actual behavior of the original system, laying waste to potentially
many hours of computation. It is therefore important to develop methods
that answer whether a given communication frequency guarantees
trustworthy co-simulation results. In this paper, we take a small step in that direction. We develop a technique to approximate the lowest frequency for which a particular set of simulation tools can exchange values in a co-simulation and obtain results that can be trusted.
| Original language | English |
|---|---|
| Number of pages | 15 |
| Publication status | Published - 2018 |
| Event | 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, part of 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), (September 4–8, 2017, Trento, Italy). - University of Trento, Trento, Italy Duration: 4 Sept 2017 → 7 Sept 2017 https://sites.google.com/view/cosimcps17 |
Conference
| Conference | 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, part of 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), (September 4–8, 2017, Trento, Italy). |
|---|---|
| Abbreviated title | CoSim-CPS |
| Country/Territory | Italy |
| City | Trento |
| Period | 4/09/17 → 7/09/17 |
| Internet address |