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.
Formations Ada 95, 2005 et 2012
Systerel forme régulièrement au langage Ada de nombreux ingénieurs pour de grands acteurs industriels.
Que ce soit pour acquérir les connaissances de base et bonnes pratiques ou maîtriser sa mise en œuvre avancée, ces formations aident ces équipes à monter significativement en compétences.
Systerel sélectionné parmi les lauréats France 2030
Nous sommes fiers d’annoncer que le projet KICS2 fait partie des lauréats du plan national France2030 qui vise à positionner la France parmi les leaders mondiaux de la cybersécurité.
Formations certifiées Qualiopi
Vous souhaitez vous former et/ou approfondir vos connaissances en méthodes formelles, norme EN 50128, sûreté de fonctionnement, C, Ada, OPC UA ? Systerel a bâti une offre de formations parfaitement adaptée à vos besoins.
