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.
Cybersécurité des Systèmes Industriels - 2020
Systerel participera à la 6ème journée technique sur le thème de la Cybersécurité des Systèmes Industriels organisée par l’Exera le 24 septembre prochain à la maison de la RATP Paris.
Systerel membre du nouveau Club Cyber OT du GIMELEC
Systerel est désormais membre du Club Cyber OT du GIMELEC.
Le serveur S2OPC certifié par la Fondation OPC
S2OPC vient de franchir une nouvelle étape en obtenant pour sa version serveur un certificat de conformité au standard OPC UA v 1.03 de la Fondation OPC.
