Training
AUGUST 2023
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.
Blog
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.