CoSim-CPS 2020

This year, a fully online event, CoSim-CPS 2020, a satellite event of SEFM 2020, focused on the integrated application of formal methods and co-simulation technologies in the development of software for Cyber-Physical Systems. Co-simulation is an advanced simulation technique that allows developers to generate a global simulation of a complex system by orchestrating and composing the concurrent simulation of individual components or aspects of the system. Formal methods link software specifications and program code to logic theories, providing developers with means to analyze program behaviors in a way that is demonstrably exhaustive. EPI's colleagues from CEA and UNIPI presented a paper titled "Cross-level co-simulation and verification of an automatic transmission control on embedded processor".

The OA link to the paper can be found in our repository:
« Back to the events
14 09
@ 12:00
14 09
@ 12:00
Place: online
Our website uses cookies to give you the most optimal experience online by: measuring our audience, understanding how our webpages are viewed and improving consequently the way our website works, providing you with relevant and personalized marketing content. You have full control over what you want to activate. You can accept the cookies by clicking on the “Accept all cookies” button or customize your choices by selecting the cookies you want to activate. You can also decline all cookies by clicking on the “Decline all cookies” button. Please find more information on our use of cookies and how to withdraw at any time your consent on our privacy policy.
Accept all cookies
Decline all cookies
Privacy Policy