The Blog

S2OPC 1.7.3 release

Systerel — Mon, 08 Jun 2026 13:09:16 GMT

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

This is mainly a security release. It fixes two vulnerabilities related to certificate trust and revocation checking, and we strongly recommend all users to upgrade. It also brings a new feature completing the Cyclone library wrapper, along with several enhancements and bug fixes.

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.

S2OPC 1.7.2 release

Systerel — Wed, 25 Mar 2026 14:14:36 GMT

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

This release introduces several improvements including:

Alarms and Conditions: first support of the OPC UA AlarmConditionType
Optional structure fields: support for OPC UA Unions and Structures with optional fields
Thread-safe dictionary: a new thread safe dictionary API
Session management: the server wrapper can now terminate sessions (except one)

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.

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.

S2OPC 1.7.1 release

Systerel — Tue, 17 Feb 2026 13:24:03 GMT

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

This is a maintenance release following the 1.7.0 version. It brings a few enhancements and a security-related bug fix that adds a check for a buffer over-read while verifying the signature of secure channel message chunks (see issue #1704).

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.