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 Company gifts Just the once will not hurt this year our employees have been given a delicate attention to celebrate the end of 2020 and the launch of 2021. + CERI Last week, we were present with the students of the Master's degree of the Centre d'Enseignement et de Recherche en Informatique d'Avignon to present some of our activities related to automatic rail traffic control systems. + Happy New Year The whole Systerel team wishes you a very happy new year 2021! +
Company gifts Just the once will not hurt this year our employees have been given a delicate attention to celebrate the end of 2020 and the launch of 2021. +
CERI Last week, we were present with the students of the Master's degree of the Centre d'Enseignement et de Recherche en Informatique d'Avignon to present some of our activities related to automatic rail traffic control systems. +