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 An overview of technology GPR A new article is available on the Systerel blog! "An overview of GPR technology”. + New intranet To get off to a good start in 2021, Systerel is equipping itself with a new, more user-friendly and comprehensive intranet! + Embedded World 2021 Systerel will participate in the Embedded World virtual exhibition from 1 to 5 March. +
An overview of technology GPR A new article is available on the Systerel blog! "An overview of GPR technology”. +
New intranet To get off to a good start in 2021, Systerel is equipping itself with a new, more user-friendly and comprehensive intranet! +
Embedded World 2021 Systerel will participate in the Embedded World virtual exhibition from 1 to 5 March. +