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²® 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 Horizon Mathématiques Conference We are delighted to announce Systerel's participation in the upcoming edition of Horizon Mathématiques, the annual conference organized by the Paris Mathematical Sciences Foundation. + Systerel will be attending Global Industrie 2024 Join us from March 25th to 28th at Paris Nord for the 2024 edition of Global Industrie, France's largest trade fair dedicated to the industrial sector! + Systerel will be attending "Rencontres PME - Grandes Écoles" On March 21st, Systerel will be attending the "Rencontres PME - Grandes Écoles" at the École des Mines de Saint-Étienne on the Provence campus alongside two other renowned schools: Centrale Méditerranée and Les Arts et Métiers ParisTech - École Nationale Supérieure d’Arts et Métiers. +
Horizon Mathématiques Conference We are delighted to announce Systerel's participation in the upcoming edition of Horizon Mathématiques, the annual conference organized by the Paris Mathematical Sciences Foundation. +
Systerel will be attending Global Industrie 2024 Join us from March 25th to 28th at Paris Nord for the 2024 edition of Global Industrie, France's largest trade fair dedicated to the industrial sector! +
Systerel will be attending "Rencontres PME - Grandes Écoles" On March 21st, Systerel will be attending the "Rencontres PME - Grandes Écoles" at the École des Mines de Saint-Étienne on the Provence campus alongside two other renowned schools: Centrale Méditerranée and Les Arts et Métiers ParisTech - École Nationale Supérieure d’Arts et Métiers. +