https://blog.systerel.fr/Frédéric is at the head of Systerel's MOP departmentenContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Wed, 06 May 2026 12:00:23 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 GMThttps://blog.systerel.fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin<div><p>The software B method has so far been mainly used in the industrial world to develop safety critical software with very basic memory management limited to arrays of fixed size defined at compilation time.</p> <p>We present here an alternative approach for modelling software based on a more classic memory management with dynamically allocated complex data structures accessed through pointers.</p> <p><a href="https://blog.systerel.fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/">Read more…</a> (7 min remaining to read)</p></div>bs2opchttps://blog.systerel.fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/Tue, 22 Jun 2021 09:57:44 GMT