Systerel est spécialisée dans les métiers 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.
Une nouvelle version du langage HLL
Prochain forum de la communauté HLL le 21 novembre prochain à Paris !
OPC Day France
Les experts OPC UA de Systerel seront présents à l’OPC Day France du 15 novembre prochain.
Open Source Summit Europe 2019
Paris Open Source Summit : Systerel y participe et présentera avec l’ANSSI, son implémentation OPC UA open-source cybersécurisée : Safe and Secure OPC (S2OPC).
