Section: Partnerships and Cooperations

Regional Initiatives: IRT

SystemX

Participants : Simon Theissing, Yann Duplouy, Serge Haddad.

We participate in the projects

• MIC on multi-modal transport systems with in the IRT System X, with academic partners UPMC, IFSTTAR and CEA, and several industrial partners including Alstom (project leader), COSMO and Renault. MIC is scheduled to be completed late in 2016, and

• the project SVA (Simulation pour la Sécurité du Véhicule Autonome ), where the PhD Thesis of Yann Duplouy targets the application of formal methods to the development of embedded systems for autonomous vehicles.