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.
Salon SIFER 2023
Nous vous donnons rendez-vous à Lille du 28 au 30 mars pour la 13e édition du SIFER. Nos équipes seront présentes aux côtés de notre partenaire ARCYS, sur le stand #2-330.
Cette année, nous présenterons le projet KICS2, sélectionné comme lauréat du plan France 2030. Ce projet a pour but de développer les bases d’une gamme d’équipements conciliant les contraintes de mises à jour de cybersécurité avec le maintien de la sûreté des systèmes critiques.
Bilan du challenge Ma Petite Planète
Félicitations à tous nos collaborateurs qui se sont mobilisés pour participer au challenge Ma Petite Planète !
Durant trois semaines, les équipes de Systerel ont réalisé des défis écologiques sur des thématiques variées telles que l’énergie, la biodiversité ou encore la mobilité durable.
Systerel à Embedded World 2023
Cette année encore, les équipes de Systerel seront présentes au salon Embedded World qui se tiendra du 14 au 16 mars.
Embedded World est LE rendez-vous annuel des spécialistes des systèmes embarqués. Retrouvez-nous sur le stand de la Fondation OPC : hall 4, stand 151.
