La version 12.0 de l’outil de vérification de données OVADO²® vient de sortir. Dans cette nouvelle version majeure, le cœur du moteur d’évaluation de la première chaîne a été entièrement redéveloppé en se basant sur notre retour d’expérience. Les améliorations portent sur les capacités et la vitesse d’évaluation ainsi que l’évolutivité du produit.

L’outil OVADO²® de RATP est utilisable dans un processus ferroviaire au plus haut niveau de sûreté de fonctionnement SIL 4. Il est maintenu et distribué par Systerel.

Cet outil permet, grâce à la modélisation formelle, de vérifier la conformité des données de paramétrage d’un système avec des règles prédéfinies. Il sait également produire les contre-exemples des règles non respectées et offre des moyens facilitant la mise au point et l’analyse des données.

Pour en savoir davantage : https://www.ovado.net/