Sûreté de Fonctionnement
Décembre 2014

« De la normalisation sectorielle à la reconnaissance mutuelle ? »

L’Institut pour la Maîtrise des Risques organise le 4 décembre une journée sur le thème « De la normalisation sectorielle à la reconnaissance mutuelle ?». Systerel, en tant qu’expert dans le domaine de la sûreté de fonctionnement, interviendra au cours d’une présentation : « développement et configuration de logiciels paramétrables au regard des normes de différents domaines (aéronautique, ferroviaire, nucléaire, automobile) ».

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.