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.
Plate-forme Rodin version 3.5
Systerel, dans le cadre des travaux du projet de recherche Event-B-Rodin-Plus, a piloté la mise à disposition de la nouvelle version 3.5 de plate-forme Rodin.
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.
