Le métro de New-York (Metropolitan Transportation Authority, MTA) adopte le CLEARSY Data Solver !
Dans des environnements ferroviaires complexes, l’interopérabilité est un enjeu de sécurité crucial. Les données de configuration régissent la manière dont les systèmes communiquent, supervisent les mouvements des trains, appliquent les limites de vitesse et préviennent les conflits. Toute incohérence ou erreur cachée dans ces données peut avoir un impact potentiel sur la sécurité opérationnelle.
En combinant l’expertise de Siemens Chatillon (Paris) et New York dans le réseau du métro new-yorkais, avec le savoir-faire de CLEARSY en matière de méthodes de vérifications rigoureuses (formelles), la vérification des données d’interopérabilité du système MTA a été automatisée à l’aide de CLEARSY Data Solver.
En automatisant la vérification des données à l’aide d’une preuve mathématique de la justesse des règles associées (méthode formelle), il est désormais possible de :
- Automatiser la vérification des données à grande échelle
- Renforcer la confiance dans l’interopérabilité des systèmes
- Améliorer la traçabilité et la conformité aux normes de sécurité
- Réduire le temps de validation (temps médian de 20 secondes pour 355 règles)
Ce projet illustre comment les technologies de vérification formelle avec preuve apportent des avantages concrets en matière de sécurité à l’un des réseaux de métro les plus exigeants au monde.