Validation formelle de données de signalisation par CLEARSY pour les agents d’étude SNCF

Validation formelle de données de signalisation par CLEARSY pour les agents d’étude SNCF
22 octobre 2025

CLEARSY a réalisé la validation formelle des données de signalisation pour le Pôle étude ingénierie de Lyon, dans le cadre du projet de commande centralisée du réseau de Lyon – étape 5.

SNCF Réseau a pu constater l’efficacité de notre approche outillée du CLEARSY DATA SOLVER, certifié T2 pour la réalisation de systèmes SIL4. Le paramétrage d’un poste de signalisation a été validé avec différents formats de données d’entrée, jusqu’à ne plus révéler d’incohérences.

L’approche automatisée de CLEARSY a permis de supprimer les tâches répétitives et chronophages, permettant ainsi aux agents d’étude en charge de la vérification du paramétrage de se focaliser sur d’autres activités de leur métier. Ceux-ci peuvent en outre rejouer à souhait la campagne de validation à chaque nouvelle version de paramétrage.