https://blog.systerel.fr/Joris Lamare works at RATP and has contributed to some of our publicationsenContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Mon, 09 Mar 2026 17:07:48 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.systerel.fr/posts/2023-01/generating-and-verifying-configuration-data-with-ovado/Frédéric Badeau, Joris Lamare<div><p><a href="https://blog.systerel.fr/images/rssr22/ovado.png" class="image-reference"><img src="https://blog.systerel.fr/images/rssr22/ovado.thumbnail.png" class="float-right"></a></p> <p>The OVADO²®<sup id="fnref:1"><a class="footnote-ref" href="https://blog.systerel.fr/posts/2023-01/generating-and-verifying-configuration-data-with-ovado/#fn:1">1</a></sup> tool has been used for more than a decade to formally check whether system configuration data comply with their rules in the context of railway systems<sup id="fnref:2"><a class="footnote-ref" href="https://blog.systerel.fr/posts/2023-01/generating-and-verifying-configuration-data-with-ovado/#fn:2">2</a></sup>. OVADO²® is currently deployed in <abbr title="Safety Integrity Level 4">SIL4</abbr> processes compliant with the safety requirements of the <a href="https://en.wikipedia.org/wiki/IEC_61508">CENELEC EN 50128</a> standard. In these processes, it is considered a T2-class tool since it only helps to verify the system. This article describes how the OVADO²® tool has been used, for the first time, by Systerel to formally generate equipment configuration data derived from the system configuration data.</p> <p><a href="https://blog.systerel.fr/posts/2023-01/generating-and-verifying-configuration-data-with-ovado/">Read more…</a> (8 min remaining to read)</p></div>formalovadovalidationhttps://blog.systerel.fr/posts/2023-01/generating-and-verifying-configuration-data-with-ovado/Tue, 03 Jan 2023 15:18:38 GMT