Dans ce nouvel article de blog, 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.

Cette utilisation innovante a été appliquée dans un contexte industriel réel : le déploiement du système VTPA OCTYS par Alstom sur la ligne 6 du métro parisien exploité par la RATP.

Cette évolution a permis d’utiliser OVADO²® comme outil T3 dans un contexte de production de données satisfaisant les exigences de la norme EN 50128 pour des applications SIL4.

Lisez notre article pour en apprendre davantage sur la génération de données de configuration avec OVADO²®.