Systerel est spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement.
Produits
-
Safe & Secure OPC
Implémentation libre et sécurisée du protocole OPC-UA
-
Systerel Smart Solver
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
-
OVADO 2
Validation formelle automatisée de données de configuration
-
Systerel IXL Builder
Conception d’automatismes formellement prouvée + génération automatique du code cible
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Premier meetup Ada France
Le premier meetup Ada France se tiendra le jeudi 26 mars de 9h à 12h sur le campus Pierre et Marie Curie (Sorbonne Université).
Embedded World 2020
Systerel participera au salon Embedded World à Nuremberg du 25 au 27 février prochains.
ERTS 2020
Systerel, le CEA et SNCF exposeront le futur Atelier Métier Signalisation de SNCF Réseau lors du salon ERTS.
