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.
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.
RSSR 2022 “International Conference on Reliability, Safety and Security of Railway Systems”
Systerel participera à la conférence internationale RSSR (Reliability, Safety and Security of Railway Systems) à Paris les 1er et 2 juin prochains.
