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.
Challenge Ma Petite Planète
Systerel participe à la prochaine édition du Challenge Ma Petite Planète qui démarrera le 31 janvier prochain pour 3 semaines de compétition !
Solutions automatisées pour la vérification de conception
Systerel a développé des solutions entièrement automatisées dédiées à la vérification de la conception.
Webinaire interne IEC 61508
1er webinaire interne de l’année : aujourd’hui nos ingénieurs assistent à une présentation sur la norme IEC 61508, norme "mère" de la sûreté de fonctionnement des systèmes électroniques.
