Company
JULY 2023
Systerel celebrated its 20th anniversary!
To celebrate this anniversary, the Systerel teams met for a weekend in Chamonix.
It was a real pleasure for the teams from the different Systerel sites to get together and strengthen ties.
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.