Systerel a joué un rôle clé dans le renouvellement du Système d’Automatisation de l’Exploitation des Trains (SAET) de la ligne 14 grâce à OVADO²®.

OVADO²® est un outil de vérification de données développé par la RATP en collaboration avec Systerel. Il est utilisable dans un processus ferroviaire au plus haut niveau de sûreté de fonctionnement (SIL 4).

Les règles devant être respectées par les données de configuration du système SAET ont été modélisées dans le langage formel B OVADO, d’une grande rigueur mathématique. L’outil OVADO²® permet alors de vérifier si chaque jeu de données mis en exploitation respecte bien ces règles.

OVADO²® a également été utilisé avec succès sur les lignes L1, L3, L4, L5, L6, L9, L10, L11 du métro parisien.