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.
Témoignage Client Formation Méthode B
Grâce à son expertise et à son retour d’expérience de plus de 25 ans dans la réalisation de développements B logiciels dans un contexte industriel, Systerel dispense une formation sur la Méthode B.
Industrie 4.0 : un nouveau site de référence
Systerel est fière d’avoir participé à la naissance du nouveau site de référence de l’industrie 4.0 du GIMELEC !
Formations externes
Forte de son expertise capitalisant plus de 25 ans d’expérience dans la réalisation de systèmes critiques à hauts niveaux de sécurité, Systerel a bâti une offre de formations parfaitement adaptée à vos besoins !
