Le Blog

S3 v2.0 — Une avancée majeure dans le monde de la vérification formelle

Marie Bouette — Fri, 10 Apr 2026 15:07:40 GMT

Introduction

La nouvelle version du moteur de preuve S3 arrive ... et avec elle, une amélioration significative de ses performances ! De quelle manière et comment, embarquez avec nous pour découvrir un monde de nouvelles opportunités.

Lire la suite… (Il reste encore 8 min. de lecture)

Pourquoi financer l'Open Source ?

Jérémie Barjhoux — Fri, 06 Mar 2026 20:00:00 GMT

Une utilisation libre …

Par la nature même de l'Open Source, l'utilisation d'un produit sous ce régime est gratuite et peut offrir une grande liberté en fonction de la licence à laquelle il est soumis. Selon les cas, il est même possible de le modifier ou l'inclure dans des offres payantes.

Lire la suite… (Il reste encore 3 min. de lecture)

Les objets protégés en Ada

Robert Cholay — Fri, 20 Feb 2026 17:43:18 GMT

(Image générée par IA)

Introduction

Dans un article précédent, Tâches et rendez-vous en Ada, nous avions présenté succinctement ce qu'était le tasking Ada et plus particulièrement le mécanisme de rendez-vous. Le fait que des tâches puissent s'exécuter en parallèle implique qu'elles puissent aussi accéder de façon concurrente à une donnée. Si nous n'y prenons pas garde, cette donnée peut alors devenir incohérente.

Lire la suite… (Il reste encore 7 min. de lecture)

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.

Lire la suite… (Il reste encore 7 min. de lecture)

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.

Lire la suite… (Il reste encore 4 min. de lecture)

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

Lire la suite… (Il reste encore 4 min. de lecture)

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.

Lire la suite… (Il reste encore 6 min. de lecture)

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

Lire la suite… (Il reste encore 7 min. de lecture)

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.

Lire la suite… (Il reste encore 9 min. de lecture)

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, …).

Lire la suite… (Il reste encore 2 min. de lecture)