Skip to Main content Skip to Navigation
Conference papers

A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS

Giovanni Liboni 1 Julien Deantoni 2, 3, 4
4 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : To understand the behavior emerging from the coordination of heterogeneous simulation units, co-simulation usually relies on either a time-triggered or an event-triggered Application Programming Interface (API). It creates bias in the resulting behavior since time or event triggered API may not be appropriate to the behavioral semantics of the model inside the simulation unit. This paper presents a new semanticaware API to execute models. This API is a simple and straightforward extension of the Functional Mock-up Interface (FMI) API. It can be used to execute models in isolation, to debug them, and to co-simulate them. The new API is semantic aware in the sense that it goes beyond time/event triggered API to allow communication based on the behavioral semantics of internal models. This API is illustrated on a simple co-simulation use case with both Cyber and Physical models.
Complete list of metadatas
Contributor : Team Kairos <>
Submitted on : Thursday, December 3, 2020 - 3:11:16 PM
Last modification on : Wednesday, December 9, 2020 - 11:12:15 AM


Files produced by the author(s)


  • HAL Id : hal-03038527, version 1



Giovanni Liboni, Julien Deantoni. A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. CoSim-CPS 2020 - 4th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam / Online, Netherlands. ⟨hal-03038527⟩



Record views


Files downloads