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.
Blog Systerel : « Un échafaudage pour le développement de vos applications Ada »
Un nouvel article est disponible sur le blog Systerel !
« Un échafaudage pour le développement de vos applications Ada »
Innotrans 2022
Pour la 4ème fois, Systerel participera au salon international Innotrans à Berlin du 20 au 23 septembre.
Embedded World – offre safe&secure
Venez rencontrer nos experts et mieux connaître nos produits safe and secure comme S2OPC et le relais digitalisé « SnS StaR ».
