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 Blog: A scaffolding for the development of your Ada applications A new article is available on the Systerel blog! “A scaffolding for the development of your Ada applications". + Innotrans 2022 For the 4th time, Systerel will participate in the international trade fair Innotrans in Berlin from September 20th to 23rd. + Embedded World - safe&secure offer Come and meet our experts and learn more about our safe and secure products such as S2OPC and the digital relay "SnS StaR" +
Blog: A scaffolding for the development of your Ada applications A new article is available on the Systerel blog! “A scaffolding for the development of your Ada applications". +
Innotrans 2022 For the 4th time, Systerel will participate in the international trade fair Innotrans in Berlin from September 20th to 23rd. +
Embedded World - safe&secure offer Come and meet our experts and learn more about our safe and secure products such as S2OPC and the digital relay "SnS StaR" +