The new major version 12.0 of the OVADO²® data verification tool has just been released. In this new version, the core evaluation engine of the primary chain has been entirely redeveloped based on our experience and feedback. The improvements focus on the evaluation capabilities and speed as well as the product’s scalability.

The OVADO²® tool by RATP can be used in a railway process at the highest level of functional safety, SIL 4. It is maintained and distributed by Systerel.

This tool allows, through formal modeling, to verify the compliance of a system’s configuration data with predefined rules. It can also produce counterexamples for rules that are not respected and offers means to facilitate the development and analysis of the data.

For more information: