Systerel est spécialisée dans le domaine 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²®

Validation formelle automatisée de données de configuration
-
BLAST

Assistance automatisée à l’implantation de balises ferroviaires
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.