OVADO²® is an advanced tool developed by RATP with the assistance of Systerel and generally used for the formal validation of configuration data.
In this article in French, you will discover how OVADO²® also proves to be highly effective for secondary review activities, for which it has already been tested by RATP on several lines of the Paris metro.
Indeed, thanks to precise and rapid analysis of configuration data, it enables the identification of potential errors and ensures the expected level of safety.
Feel free to share your thoughts in the comments!