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 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.
Un aperçu de la technologie GPR
Un nouvel article est disponible sur le blog Systerel ! "Un aperçu de la technologie GPR".
Nouvel Intranet
Pour bien commencer l’année 2021, Systerel se dote d’un nouvel intranet plus convivial et plus complet !
Embedded World 2021
Systerel participera au salon virtuel Embedded World du 1er au 5 mars prochains.
