Conferences and fairs
September 2023

Exera: conference “Industrial Systems Cybersecurity”

Systerel will participate in the 9th technical conference on the theme of Industrial Systems Cybersecurity, organized by Exera, on September 28th at the Centenary Space of the RATP House in Paris.

This annual event provides an opportunity to explore the latest innovations and technical developments related to Industry 4.0 and cybersecurity challenges.


Qualiopi certified training

Do you wish to train learn more on formal methods, EN 50128 standard, RAMS, C, Ada, OPC UA?

Thanks to its expertise, Systerel has built a training offer perfectly adapted to your needs.

Conferences and fairs
JUNE 2023

User feedback S2OPC 2023

On June 29, Systerel invites you to participate in a user feedback session around the Open Source, the OPC UA and its implementation Safe & Secure: S2OPC.

Several industrial players will be sharing their experiences and ideas to help build innovative solutions to face tomorrow’s challenges.

Conferences and fairs
JUNE 2023

Conference Ada-Europe 2023

Systerel is a partner of the 27th Ada-Europe International Conference on Reliable Software Technologies, held in Lisbon from 13 to 16 June.

The conference brings together researchers, developers and users of safe software technologies from around the world.

Conferences and fairs
JUNE 2023

OPC UA TECH DAY France 2023

Join us for “OPC UA TECH DAY France” which will take place at the EDF Lab in Saclay on June 14.

Systerel will give a presentation on “Cybersecurity & OPC UA” and on “OPC UA FX”. All presentations will be held in French.

JUNE 2023

Blog post: Expect automation tool

In this article, we focus on the Tcl/Expect automation tool and more specifically on its Ada implementation through GNAT.Expect.

By using this tool, it is possible to easily control third-party applications through a mechanism of expected questions/answers (expect).

Formal Methods
MAY 2023

ABZ International Conference 2023

Our teams will participate in the 9th ABZ International Conference, which will be held in Nancy from May 31 to June 2, 2023.

This year, Systerel will co-organize the workshop for Rodin users and developers. The Rodin platform is dedicated to event-driven B development, robustly supporting model refinement and mathematical proof.