Systerel is specialized in critical software and RAMS. Read More Products Systerel Safe & Secure OPC Secure and open-source implementation of the OPC-UA protocol Systerel Smart Solver Formal verification of developed systems and software in SCADE, C, Ada OVADO 2 Automatic validation of critical data Systerel IXL Builder Design of formally proven automata-based systems As part of its growth, Systerel is looking for new talents. View job opportunities News All the news Systerel joins STMicroelectronics Partner Program Systerel announces that it has joined the STMicroelectronics Partner Program to make its open-source Safe &Secure OPC UA implementation available to a wider audience of device users. + Embedded World 2022 As every year, Systerel will participate to the Embedded World exhibition. + RSSR 2022 "International Conference on Reliability, Safety and Security of Railway Systems" Systerel will participate in the international conference RSSR (Reliability, Safety and Security of Railway Systems) in Paris on June 1st and 2nd. +
Systerel joins STMicroelectronics Partner Program Systerel announces that it has joined the STMicroelectronics Partner Program to make its open-source Safe &Secure OPC UA implementation available to a wider audience of device users. +
RSSR 2022 "International Conference on Reliability, Safety and Security of Railway Systems" Systerel will participate in the international conference RSSR (Reliability, Safety and Security of Railway Systems) in Paris on June 1st and 2nd. +