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.
23ème congrès Lambda Mu
Le 23ème congrès de l’Institut pour la Maîtrise des Risques (IMdR) sur le thème « Innovations et maîtrise des risques pour un avenir durable » se tiendra du 10 au 13 octobre à Paris (EDF Lab Paris-Saclay).
Renouvellement OQA 2022
Systerel a obtenu en juillet 2022 le renouvellement de son agrément ministériel OQA prévu aux articles 9 et suivants du décret n°2017-440 du 30 mars 2017 relatif à la sécurité des transports publics guidés.
Cybersécurité des systèmes industriels 2022
Systerel participera à la 8ème journée technique sur le thème de la Cybersécurité des Systèmes Industriels organisée par l’Exera le 29 septembre prochain à l’Espace du Centenaire de la Maison de la RATP à Paris.
