Dans le cadre du projet de modernisation du métro parisien, Systerel a réalisé la validation des données liées à la mise en place des automatismes de conduite du système CBTC OCTYS.
Dans ce nouvel article, nous explorons les possibilités offertes par l’outil de validation formelle OVADO²®.
Pour la première fois, Systerel a utilisé OVADO²® pour générer formellement des données de configuration d’équipements ferroviaires dérivées des données de configuration du système.
Depuis septembre 2022, les quatre premières navettes automatisées de la ligne 4, la deuxième ligne de métro la plus fréquentée à Paris, ont commencé à circuler.
Afin de moderniser cette ligne, la RATP a choisi le Système d’Automatisation de l’Exploitation des Trains (SAET), similaire à celui déjà installé sur la ligne 1.