The Blog

Fuzzing tests

Cinthya Kouamou — Mon, 16 Feb 2026 11:00:18 GMT

Principle of fuzz testing. (Source: cybermatters.info)

Introduction

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.

Analyse Préliminaire des Risques : intérêt et méthodologie

Noemane Amanchar — Tue, 27 Jan 2026 07:19:52 GMT

(bionet, licensed under BY-SA)

L'Analyse Préliminaire des Risques (APR) est une méthode d'analyse déductive qui vise à repérer et évaluer les dangers dès les premières étapes de conception d'un système, d'un produit ou d'un processus. Son objectif principal est d'identifier en amont les situations dangereuses potentielles, afin de définir des mesures de sécurité, des exigences à respecter ou encore des dispositions de prévention et de protection. L'APR permet ainsi soit d'éviter la survenue de ces situations, soit d'en réduire les conséquences.

S2OPC 1.7.0 release

Systerel — Tue, 20 Jan 2026 08:56:51 GMT

The S2OPC team is proud to announce the 1.7.0 release of S2OPC.

This release introduces several improvements including:

Security Audit: fires OPC UA events in case of cybersecurity related events
Role Permission: to assign permissions to roles rather than individual users, simplifying management and improving security
PubSub Extended Support: it is now available on Windows
History Read: adds the capacity for the server to store previous values of nodes
Node Management : completes the services to add and delete nodes run time
Performance Improvement: improves performance of write/add nodes operations
Zephyr 4.1 Support: compatible with the latest version of this real-time operating system

Tâches et rendez-vous en Ada

Robert Cholay — Fri, 09 Jan 2026 17:43:18 GMT

(www.pexels.com, licensed under PDM)

Introduction

Le tasking Ada offre la possibilité d'exécuter des portions de code de façon indépendante et au sein d'un même programme. Ce paradigme de la programmation concurrente permet à plusieurs tâches d'être exécutées simultanément ou de manière entrelacée.

Modélisation et Preuve B pour la détection de fuite mémoire

Minh-Thang Khuu — Fri, 19 Dec 2025 08:10:28 GMT

L'objectif de cet article est de donner un retour d'expérience de la preuve B pour la détection du risque de fuite mémoire dans le code généré à partir d'un modèle B et dans le cas qui nous intéresse, du modèle B de S2OPC

Ada pêche aux moules

Robert Cholay — Fri, 10 Oct 2025 08:01:46 GMT

Introduction

Le langage Ada offre, aux travers de la généricité, un mécanisme puissant permettant de créer des unités (sous-programmes ou paquetages) pouvant être utilisées avec différents types de données. Ce mécanisme permet d'avoir un code réutilisable, flexible et maintenable.

Découvrez trois bonnes raisons d'adopter l'open-source

Jérémie Barjhoux — Mon, 30 Jun 2025 12:22:47 GMT

L'Open Source : bien plus que du code gratuit

Davantage de garanties de Cybersécurité

À ses débuts, l'Open Source a fait face à de la défiance concernant la cybersécurité de par la possibilité d'accéder au code source. Il a depuis prouvé que cet accès apportait au contraire de meilleures garanties que du code propriétaire fermé : cela permet à différents acteurs, allant des utilisateurs aux universitaires en passant par les agences nationales de cybersécurité, d'auditer le code pour s'assurer de la présence des mécanismes indispensables (chiffrement, gestion de certificats/rôles...) et de l'absence de failles (CVE, backdoors, …).

L'IA ou l'Intelligence de l'Ada

Robert Cholay — Mon, 30 Jun 2025 08:59:33 GMT

Image générée par une IA

Un Adaiste convaincu vous dirait que le langage Ada est le « meilleur » des langages de programmation. Cela est bien évidemment faux, car le « meilleur » langage de programmation n'existe tout simplement pas et n'existera jamais. Chaque langage a ses qualités et ses défauts, et le choix du langage dépend en grande partie du projet dans lequel il est mis en œuvre.

GDS Push Server : Gestion des certificats et des listes de confiance OPC UA

Nathan Lebeau — Fri, 20 Jun 2025 15:21:23 GMT

Le standard de communication OPC UA permet de s’assurer de la confidentialité et de l’intégrité des échanges en s’appuyant sur les certificats X.509. Cependant, leur mise œuvre peut s’avérer laborieuse dans un environnement OT comprenant des mécanismes de mise à jour limités, de fortes contraintes de disponibilité sur un parc machines hétérogène et des compétences en cybersécurité peu présentes.

Comment tirer la couverture à soi

Robert Cholay — Fri, 25 Apr 2025 10:44:12 GMT

L'objectif de cet article est de donner quelques éléments sur ce qu'est la couverture de code, ce qu'elle apporte, ses différentes formes et dans quel cadre il est nécessaire de la mettre en œuvre.

Même si les exemples seront basés sur du code Ada, ils peuvent aussi s'appliquer à bien d'autres langages de programmation.

The Blog

Fuzzing tests

Introduction

Analyse Préliminaire des Risques : intérêt et méthodologie

S2OPC 1.7.0 release

Tâches et rendez-vous en Ada

Introduction

Modélisation et Preuve B pour la détection de fuite mémoire

Ada pêche aux moules

Introduction

Découvrez trois bonnes raisons d'adopter l'open-source

L'Open Source : bien plus que du code gratuit

Davantage de garanties de Cybersécurité

L'IA ou l'Intelligence de l'Ada

GDS Push Server : Gestion des certificats et des listes de confiance OPC UA

Comment tirer la couverture à soi

GDS Push Server : Gestion des certificats et des listes de confiance OPC UA