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.
Collecte solidaire de jouets
Systerel a organisé sur son site aixois une collecte de jouets à destination de l’association Remise en Jeux. Les dons furent nombreux et nous remercions les collaborateurs qui se sont mobilisés pour ce geste de solidarité !
Systerel rejoint le programme de partenariat de STMicroelectronics
Systerel annonce qu'elle a rejoint le Partner Program de STMicroelectronics afin de rendre son implémentation OPC UA open-source Safe & Secure, S2OPC, disponible à un plus grand nombre d'utilisateurs d’équipements.
Embedded World 2022
Comme chaque année, Systerel participera au salon Embedded World.
