CLEARSY accompagne la RATP dans le second regard de la validation des données de paramétrage utiles des logiciels bord et sol de la ligne 6 du métro parisien.
Une analyse approfondie des documents d’entrée a permis de créer plus de 260 vérifications à effectuer sur les données. Après consolidation et vérifications croisées avec la RATP, ces règles de vérification ont été développées et automatisées suivant la méthodologie de validation formelle de données CLEARSY outillée du CLEARSY Data Solver.
Ces règles de validation ont permis de rejouer la validation à souhait sur les versions successives des paramétrages reçus.
CLEARSY amène un niveau de confiance au plus haut niveau pour la RATP dans le cadre de la mise en service de la ligne 6 prévue début 2026.