Systerel a réalisé avec succès pour le compte de SNCF le développement d’un simulateur de postes d’enclenchements à relais de type transit souple.
SNCF a décidé de s’appuyer sur un partenaire ayant à la fois des compétences en modélisation et développement logiciel mais aussi une connaissance du métier ferroviaire et de la signalisation afin de réaliser la prestation de modélisation des schémas électriques et de leur environnement.
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) ».
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.
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.