Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

Section: New Results

Co-Simulation of Cyber-Physical Systems

Participants : Julien Deantoni, Giovanni Liboni, Robert de Simone.

While we continued to study and envision the past, present and future of co-simulation in [11], we already obtained promising results. In [14], we highlighted the current problems of the FMI co-simulation standards and more generally of existing coordination between actors of the co-simulation. We also shown that providing appropriate mean to communicate with the actors according to their internal semantics allows for dedicated coordinator providing better results than existing ones (speed up can reach 25 with a perfect accuracy). As shown in [14], the functional correctness of co-simulation can be violated by a non appropriate coordination of co-simulation actors. To avoid such phenomenon, we explored in [17] the possibility to formally prove the correctness of a coordinator according to properties defined by the actors. This last work is greatly exploratory but Julien Deantoni did a Short Term Scientific Mission (in the context of the MPM4CPS cost action ( in the MSDL Lab in Antwerp to understand more deeply the problem and potential solutions. Preliminary interesting results have been obtained ( and may be published in 2019.