May 2023

Products

S2OPC now operates with PikeOS for even greater security

With cybersecurity becoming one of the most critical challenges of Industry 4.0, S2OPC — the safe and secure implementation of OPC UA — now offers even more secure features thanks to its integration with PikeOS.

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.

Training

MAY 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.