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 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" + Ada Europe 2022 Conference This year again, Systerel is a partner of the 26th « International Conference on Reliable Software Technologies » conference organised by Ada-Europe, which will be held at Ghent (Belgium) from June 14th to 17th. + Solidarity collection of toys Systerel organized on its site in Aix-en-Provence a toy collection for the association Remise en Jeux. The donations were numerous and we thank the employees who mobilized themselves for this gesture of solidarity! +
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" +
Ada Europe 2022 Conference This year again, Systerel is a partner of the 26th « International Conference on Reliable Software Technologies » conference organised by Ada-Europe, which will be held at Ghent (Belgium) from June 14th to 17th. +
Solidarity collection of toys Systerel organized on its site in Aix-en-Provence a toy collection for the association Remise en Jeux. The donations were numerous and we thank the employees who mobilized themselves for this gesture of solidarity! +