https://blog.systerel.fr/Posts about technologies developed or used by Systerel.enContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Thu, 09 Apr 2026 12:39:54 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.systerel.fr/posts/2026-02/fuzzing-tests/Cinthya Kouamou<div><p></p><div class="figure "><a href="https://blog.systerel.fr/images/fuzzing.png" class="image-reference"><img src="https://blog.systerel.fr/images/fuzzing.thumbnail.png" class="float-right"></a><p class="caption"><small>Principle of fuzz testing. (Source: cybermatters.info)</small></p></div> <h2>Introduction</h2> <p>In the development of industrial software, it is common to manipulate complex binary protocols, specific data formats. These components are traditionally validated using unit tests, an effective approach to verify expected and well-defined behaviors.</p> <p><a href="https://blog.systerel.fr/posts/2026-02/fuzzing-tests/">Read more…</a> (7 min remaining to read)</p></div>s2opctestshttps://blog.systerel.fr/posts/2026-02/fuzzing-tests/Mon, 16 Feb 2026 11:00:18 GMThttps://blog.systerel.fr/posts/2025-04/model-checking-formal-modeling-and-verification/Nicolas Breton<div><p><a href="https://blog.systerel.fr/images/logo_smart-solver.png" class="image-reference"><img src="https://blog.systerel.fr/images/logo_smart-solver.thumbnail.png" class="float-right"></a></p> <h2>Model Checking: Formal Modeling and Verification</h2> <p><em>Model Checking</em> is a <em>Formal Safety Verification</em> method in which tools are used to analyze a model of a system in order to verify if it respects some safety properties. The analysis is performed by exploring every possible evolution trace of the system<sup id="fnref:1"><a class="footnote-ref" href="https://blog.systerel.fr/posts/2025-04/model-checking-formal-modeling-and-verification/#fn:1">1</a></sup>, verifying that the properties hold on these traces.</p> <p><a href="https://blog.systerel.fr/posts/2025-04/model-checking-formal-modeling-and-verification/">Read more…</a> (5 min remaining to read)</p></div>b2bthlls3https://blog.systerel.fr/posts/2025-04/model-checking-formal-modeling-and-verification/Thu, 24 Apr 2025 16:18:44 GMThttps://blog.systerel.fr/posts/2024-05/termina/Robert Cholay<div><p><a href="https://blog.systerel.fr/images/termina/terminal.jpg" class="image-reference"><img src="https://blog.systerel.fr/images/termina/terminal.thumbnail.jpg" class="float-right"></a></p> <p>Dans le cadre d'un portage Ada que nous avons réalisé pour un de nos clients, et en accord avec ce dernier, nous avons reconsidéré la façon dont l'application originelle en mode console gérait les traces et les logs.</p> <p>Le système de traces et de logs souffrait des limitations suivantes :</p> <p><a href="https://blog.systerel.fr/posts/2024-05/termina/">Read more…</a> (4 min remaining to read)</p></div>https://blog.systerel.fr/posts/2024-05/termina/Thu, 23 May 2024 16:06:33 GMThttps://blog.systerel.fr/posts/2024-04/ini-tiation/Robert Cholay<div><p><a href="https://blog.systerel.fr/images/adainit/ini.png" class="image-reference"><img src="https://blog.systerel.fr/images/adainit/ini.thumbnail.png" class="float-right"></a></p> <p>Configurer un logiciel peut se faire de différentes façons. La première est, par exemple, d'utiliser des options sur la ligne de commande. Cela se fait au travers du paquetage <code>Ada.Command_Line</code> ou encore plus simplement au travers du paquetage <code>GNAT.Command_Line</code> qui permet de définir et de traiter simplement les options d'une ligne de commande.</p> <p><a href="https://blog.systerel.fr/posts/2024-04/ini-tiation/">Read more…</a> (3 min remaining to read)</p></div>https://blog.systerel.fr/posts/2024-04/ini-tiation/Wed, 10 Apr 2024 12:36:44 GMThttps://blog.systerel.fr/posts/2024-01/comment-voir-la-matrice/Robert Cholay<div><p></p><div class="figure float-right"><a href="https://blog.systerel.fr/images/matrix/matrix.png" class="image-reference"><img src="https://blog.systerel.fr/images/matrix/matrix.thumbnail.png"></a> <p class="caption"><a href="https://rosettacode.org/wiki/Matrix_digital_rain">https://rosettacode.org/wiki/Matrix_digital_rain</a></p> </div> <p>L'objet de cet article est de montrer au travers d'un exemple complet quelques évolutions apportées par le langage Ada₂₀₂₂. Nous allons faire ici un bref focus sur :</p> <ul> <li>La généralisation de l'attribut <code>'Image</code>,</li> <li>Les nouveaux types d'agrégats pour les tableaux,</li> <li>Une utilisation des « Bigs Numbers ».</li> </ul> <p><a href="https://blog.systerel.fr/posts/2024-01/comment-voir-la-matrice/">Read more…</a> (5 min remaining to read)</p></div>https://blog.systerel.fr/posts/2024-01/comment-voir-la-matrice/Mon, 08 Jan 2024 09:54:36 GMThttps://blog.systerel.fr/posts/2023-11/portons-nous-bien/Robert Cholay<div><p><a href="https://blog.systerel.fr/images/galets.jpg" class="image-reference"><img src="https://blog.systerel.fr/images/galets.thumbnail.jpg" class="float-right"></a></p> <h2>Problématique</h2> <p>Dans le cadre de certains portages Ada, on peut souhaiter continuer à faire vivre un temps le code <em>legacy</em> tout en commençant à utiliser le code porté.</p> <p>Si, à l'issue du portage, on découvre un problème ou une évolution dans le code <em>legacy</em>, on devra alors reporter les modifications induites dans le code porté. On peut aussi avoir la situation inverse. En d'autres termes, les codes devront coexister.</p> <p><a href="https://blog.systerel.fr/posts/2023-11/portons-nous-bien/">Read more…</a> (3 min remaining to read)</p></div>https://blog.systerel.fr/posts/2023-11/portons-nous-bien/Mon, 13 Nov 2023 13:57:02 GMThttps://blog.systerel.fr/posts/2023-01/securing-iiot-communications-using-opc-ua-pubsub-and-trusted-platform-modules/Olivier Gilles, Daniel Gracia-Perez, Pierre-Antoine Brameret, Vincent Lacroix<div><p><a href="https://blog.systerel.fr/images/opcua_pubsub_tpm/lock.png" class="image-reference"><img src="https://blog.systerel.fr/images/opcua_pubsub_tpm/lock.thumbnail.png" class="float-right"></a></p> <p>In the Industry 4.0 context, data are a valuable asset that must be protected. OPC UA PubSub enables secure and interoperable solutions, but authentication of <abbr title="Industrial Internet of Things">IIoT</abbr> devices remains a sensitive issue. This article presents a novel approach based on open source software, using a Trusted Platform Module to protect secrets on devices, and evaluate the security level on a predictive maintenance use case.</p> <p><a href="https://blog.systerel.fr/posts/2023-01/securing-iiot-communications-using-opc-ua-pubsub-and-trusted-platform-modules/">Read more…</a> (47 min remaining to read)</p></div>opcuas2opchttps://blog.systerel.fr/posts/2023-01/securing-iiot-communications-using-opc-ua-pubsub-and-trusted-platform-modules/Thu, 05 Jan 2023 11:23:15 GMThttps://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/2022-11/back-to-back-testing/Anaïs Guignard, Julien Niguez, Nicolas Breton, Vincent Pouzol<div><img alt="Back-to-back zebras" class="float-right" src="https://blog.systerel.fr/images/b2bt/zebrasbacktoback.png" style="width: 240px;"> <p>Back-to-back testing (B2BT) techniques are used to verify that two products of a software development process are equivalent. By running the two products "back to back" on a set of test cases, it is verified that they produce the same output. If the scenarios are chosen carefully and the two runs produce the same results, it can be inferred that the two products are equivalent with some level of confidence.</p> <p><a href="https://blog.systerel.fr/posts/2022-11/back-to-back-testing/">Read more…</a> (24 min remaining to read)</p></div>b2btformels3validationvérificationhttps://blog.systerel.fr/posts/2022-11/back-to-back-testing/Tue, 08 Nov 2022 10:21:44 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