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.
Soutenir le don du sang
Les dons du sang sauvent des vies, c’est pourquoi Systerel soutient les collaborateurs qui s’engagent dans cette démarche de solidarité auprès de l’EFS.
Nouveaux collaborateurs : une intégration personnalisée
Chaque nouveau collaborateur bénéficie d'une intégration personnalisée.
Webinaire interne Ada SPARK
Aujourd’hui, nos ingénieurs ont assisté à un nouveau webinaire organisé par notre direction technique !
Le thème de ce webinaire ? Ada SPARK.
