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 : 20 ans de développement de logiciels critiques
Sécurité fonctionnelle des systèmes industriels : des ingénieurs Systerel certifiés CEI 61508 (FSCED) !
Systerel confirme son positionnement de spécialiste des systèmes critiques grâce à la certification CEI 50128 - FSCED (Functional Safety Engineer Development) de plusieurs de ses ingénieurs et experts.
Expertise Safe & Secure : des ingénieurs Systerel certifiés EBIOS !
Plusieurs ingénieurs et experts de Systerel ont obtenu la certification PECB Certified EBIOS Risk Manager auprès d’un organisme agréé par l’ANSSI.
