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, sécurisée et certifiée du standard OPC UA
-
Systerel Smart Solver

Vérification formelle automatique de systèmes ou logiciels développés dans vos langages métiers spécifiques
-
OVADO²®

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

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