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.
Solutions automatisées pour la vérification de conception
Systerel a développé des solutions entièrement automatisées dédiées à la vérification de la conception.
Webinaire interne IEC 61508
1er webinaire interne de l’année : aujourd’hui nos ingénieurs assistent à une présentation sur la norme IEC 61508, norme "mère" de la sûreté de fonctionnement des systèmes électroniques.
La méditation
Systerel prend soin de ses collaborateurs en leur offrant une grande partie du montant d'un abonnement de méditation.
