Depuis plus de 10 ans, OVADO²®, outil propriété de la RATP, maintenu et distribué par Systerel, offre une réponse innovante et efficace à la problématique de vérification des données de configuration d’un système ou d’un logiciel. Son approche repose sur la séparation de l’outil de validation des propriétés à valider.

Pour les systèmes critiques nécessitant un paramétrage complexe, OVADO²® garantit la cohérence et la consistance de centaines de milliers de données de configuration, assurant ainsi leur comportement et leur sécurité.

Grâce à OVADO²®, le temps consacré aux activités de validation est considérablement réduit : 

• L’équipe de modélisation formalise de façon non ambigüe les propriétés identifiées par les experts métier.
• OVADO²® vérifie automatiquement que les données en entrée satisfont ces propriétés et en cas de non-conformité, il extrait efficacement les contre-exemples pour identifier les problèmes.

De plus, l’outil peut également être utilisé pour générer les données de configuration équipements à partir de données système.

Outre son succès dans les projets ferroviaires tels que la ligne B du métro de Lyon et les lignes L1, L3, L4, L5, L6, L9, L10, L11, L14 du métro parisien, OVADO²® peut également être utilisé dans de nombreux domaines industriels.