OVADO2® est un outil RATP
qualifié et extensible, dédié à la validation formelle des données de configuration des logiciels et systèmes.
Les systèmes critiques sont des systèmes complexes devenus aujourd’hui de plus en plus paramétrables. Garantir leur comportement et leur niveau de sécurité impose alors de valider la cohérence et la consistance de plusieurs centaines de milliers de données de configuration. Ces activités de validation, particulièrement fastidieuses et onéreuses, sont réalisées le plus souvent sous fortes contraintes de planning car menées en phase finale de développement.
OVADO2® offre une réponse innovante à la problématique de vérification de données de configuration d’un système ou logiciel reposant sur la séparation de l'outil de validation des propriétés à valider.
L'équipe de modélisation formalise de façon non-ambigüe les propriétés identifiées par les experts métier.
OVADO2® vérifie alors automatiquement que les données en entrée satisfont ces propriétés.
La non-conformité d’un jeu de données est caractérisée par l’extraction d’un contre-exemple.
La validation formelle des données de configuration est recommandée par certaines normes de sécurité
et fait partie intégrante du processus de validation du système ou logiciel considéré.
OVADO2® est certifié T2 SIL4. Il est ainsi entièrement conforme aux exigences de la norme EN50128
applicables à cette catégorie d’outils dans le domaine ferroviaire.
L’outil OVADO® a été utilisé par la RATP pour des activités de second regard sur les lignes L1, L3, L4, L5, L6, L9, L14, … Sa version OVADO2®, qualifiée T2 SIL4, a été utilisée avec succès par Systerel sur la validation des données de la ligne 13. Conçu initialement pour le domaine ferroviaire, cet outil est adapté à des projets industriels dans des secteurs d’activité variés tels que l’aéronautique, le spatial, l’automobile, le médical ou le bancaire. Ils nous font confiance : ALSTOM, CNES, THALES...
OVADO2® est un outil RATP partiellement développé et commercialisé par Systerel.
Pour plus d'information sur l'obtention d'une licence d'utilisation d'OVADO2®,
merci de contacter Systerel ovado@systerel.fr
ou via Systerel.
OVADO2® est basé sur des composants logiciels open-source, plus particulièrement
sur la plate-forme Eclipse et le langage supporté par l'outil Rodin,
sans lesquels son développement n’aurait pas été possible.
OVADO2® est également basé sur le model checker
ProB.
Nous souhaitons remercier tous ceux qui ont participé à l’élaboration de ces composants d’OVADO2®.