Méthodes Formelles, Salons - Conférences
Octobre 2014

ADVANCE Industry Days

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.

Salons - Conférences, Sûreté de Fonctionnement
Octobre 2014

Congrès Lambda Mu

Systerel participera au 19ème congrès Lambda Mu organisé par l’Institut pour la Maîtrise des Risques (IMdR) du 21 au 23 octobre à Dijon.

Systerel présentera, au cours de la conférence « Méthodes Formelles – applications au ferroviaire », son retour d’expérience sur la validation de données critiques de configuration avec l’outil OVADO2® pour la ligne 13 du métro parisien.