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²®
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.
OPC UA TECH DAY France 2023
Joignez-vous à nous pour « l’OPC UA TECH DAY France » qui aura lieu à Saclay, le 14 juin.
À cette occasion, Systerel effectuera une présentation sur le thème « Cybersécurité et OPC UA » ainsi que sur les concepts de l'OPC UA FX.
Article de blog : l'outil d’automatisation Expect
Dans cet article, nous nous intéressons à l'outil d’automatisation Tcl/Expect et plus particulièrement à son implémentation Ada au travers de GNAT.Expect.
En utilisant cet outil, il est possible de contrôler facilement des applications tierces au travers d'un mécanisme de questions/réponses attendues (expect).
S2OPC fonctionne dorénavant avec PikeOS pour une sécurité améliorée
La cybersécurité devenant l'un des défis les plus critiques de l'industrie 4.0, S2OPC - l'implémentation sûre et sécurisée d'OPC UA - offre désormais des fonctionnalités encore plus sécurisées grâce à son intégration avec PikeOS.
