Le projet ADVANCE a pour objectif de développer un cadre outillé et unifié pour la validation de systèmes cyber-physiques en s’appuyant sur la vérification formelle automatique et la co-simulation.

Les résultats du projet ont été présentés aux industriels participants à l’université de Southampton le 24 septembre et seront également présentés à Düsseldorf le 23 octobre prochain.

Dans le cadre de ce projet, Systerel assure le développement et la maintenance de la plate-forme RODIN. Systerel travaille également en étroite collaboration avec ALSTOM Transport sur la modélisation formelle en B événementiel d’un système de signalisation.

Ce travail est l’occasion pour Systerel de conforter ses compétences système dans le domaine de la signalisation, ainsi que sa connaissance fine des techniques de modélisation formelle dans le domaine ferroviaire.