ovado.net

What It Is

OVADO 2® is RATP’s automated validation tool for critical configuration data, distributed by Systerel and partly designed with its involvement. It targets safety-critical configuration data for software and systems. Its core idea is to separate the validation tool from the properties being checked: domain experts identify the properties, modeling teams formalize them, and the tool then automatically checks consistency across large-scale configuration datasets.

Core Capabilities

Based on the available content, OVADO 2® is not focused on general-purpose code development, but on formal data validation and data generation. It can verify whether data satisfies required properties, generate counterexamples for each basic cause of non-compliance, and support interactive expression evaluation to help analyze models and counterexamples. The newer version can also generate configuration data from formal models and, under an appropriate process, can be used in SIL4 T3 tool scenarios. Its environment is based on Eclipse, built on the Rodin platform and the ProB model checker. Configuration data formats are supported through plugins, with XML and Microsoft Office Excel supported by default.

Pricing and Access

The website does not publish pricing, plans, trial options, or licensing terms. It only provides a Purchase entry point and asks users to request more information via [email protected] or a contact form. This suggests an enterprise-style quote-based procurement model, rather than a product suited to teams expecting instant downloads, usage-based billing, or self-service trials.

Pros and Cons

Its strengths are clear positioning for safety-critical scenarios, qualified-use documentation for T2 SIL4 under the EN 50128:2011 standard, and real-world use in data validation and generation across multiple Paris Metro lines. Customer references include ALSTOM, CNES, THALES, and others. Reusable formal properties, automated reports, and counterexample extraction can reduce validation rework and improve traceability. The limitations are also obvious: the website does not disclose API/SDK availability, CI/CD integration, public documentation, deployment options, or pricing. The learning curve may be higher than that of ordinary data validation tools, making it best suited to teams familiar with formal methods and safety certification processes.

Who It’s For and Access from China

OVADO 2® is suitable for industrial projects in rail, aerospace, defense, automotive, healthcare, banking, and other sectors where configuration-data correctness and safety compliance are critical. The website does not provide information about access from China or payment options. Actual procurement may require email communication, commercial contracts, and compliance review. If the need is only standard data quality checking, alternatives such as JSON Schema, XML Schema, and Great Expectations may be more appropriate. If formal verification is required, the Rodin and ProB ecosystems are worth watching, though they are not fully equivalent to OVADO 2® in terms of industry-focused packaging and qualified-tool positioning.