Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement
COVID-19
Continuité des activités : en savoir plus
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.
Un site dédié pour S2OPC
Systerel présente son site dédié Safe & Secure OPC (S2OPC). S2OPC est la 1ère implémentation libre du protocole OPC UA, initiée avec le soutien de l’ANSSI et déjà déployée sur plusieurs équipements industriels.
Webinaire Ada France
Ada-France et les sociétés AdaCore, AdaLog et Systerel, vous convient à un webinaire d'une heure.
COVID-19 : continuité des activités
Systerel applique un plan de continuité à même d’assurer de manière quasi-transparente une continuité de service indispensable à la réussite des projets de ses clients.
