Ingénieriste innovant des systèmes critiques Systerel imagine, conçoit et met en œuvre depuis plus de 20 ans des solutions innovantes dans le domaine des systèmes critiques temps réel ou de sécurité.
- Membre Totem
Systerel est plus particulièrement spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement.
- Activités de développement, de vérification et validation ou d’évaluation des logiciels, quel que soit leur niveau de criticité (-> SIL4)
- Elaboration complète d’un dossier de sécurité jusqu’à son approbation par l’autorité de certification (agrément EOQA STRMTG)
- Activités connexes au développement (outillage logiciel, méthodologie, étude d’architectures, …).
Systerel optimise par ses outils la conception de systèmes ferroviaires automatisés (trains, métros, tramways).
- Systerel Smart Solver : vérification formelle de la sécurité de systèmes de signalisation (postes d’aiguillages, CBTC…).
- Ovado2® : validation formelle des données de configuration
- S2OPC : implémentation open-source cyber-sécurisé du protocole OPC UA (CSPN en cours)
Son aptitude à décliner dans l’industrie des technologies de pointe en respectant les processus contraignants du domaine des systèmes critiques, permet à Systerel d’offrir à ses clients des solutions innovantes et compétitives en adéquation avec le niveau de sécurité exigé et les gains de productivité recherchés.
De telles spécificités en font un partenaire majeur de grands acteurs industriels tels que Alstom, RATP, SNCF, Hitachi, Siemens ou Thales.
ISO 9001 :2015
Agrément EOQA