Validation formelle de données / SYSTEREL

Application(s):
  • Data / Cloud
  • Informatique / Logiel
  • Tests, Conformité, Certifications
Une solution développée par
SYSTEREL
Problématique

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.

Solution

L’outil OVADO2®, outil de validation formelle, est une réponse éprouvée à la problématique de maitrise du paramétrage. Cette solution, entièrement automatisée, limite les activités manuelles et offre ainsi des gains de qualité et de temps.
OVADO2® est un outil qualifié T2 SIL4. Il est ainsi entièrement conforme aux exigences de la norme EN50128 applicables à cette catégorie d’outils dans le domaine ferroviaire.
Plus d'informations sur www.ovado.net

Résultats

OVADO2® permet de gagner en lisibilité et en qualité sur la validation, tout en réduisant les coûts et délais associés. La détection en amont de problèmes de paramétrage réduit non seulement le risque de situations contraires à la sécurité, mais également les coûts de développement, les erreurs détectées tardivement étant plus coûteuses à corriger, en particulier dans des processus contraints.
Références : RATP L1,L3,L4,L5,L6,L14... du métro parisien.