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²®
Validation formelle automatisée de données de configuration
-
BLAST
Assistance automatisée à l’implantation de balises ferroviaires
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Plus de 10 ans avec OVADO²®
Depuis plus de 10 ans, OVADO²®, outil propriété de la RATP, maintenu et distribué par Systerel, offre une réponse innovante et efficace à la problématique de vérification des données de configuration d’un système ou d’un logiciel.
Son approche repose sur la séparation de l’outil de validation des propriétés à valider.
Open Source Experience
Rejoignez-nous au salon Open Source Experience, le 7 décembre prochain à 13h50, pour une conférence sur le thème « Sécuriser vos données de communication avec l’OPC UA ».
Au cours de cette présentation, nos experts développeront les défis de sécurité liés à la numérisation des infrastructures.
Semaine européenne pour l'emploi des personnes handicapées
A l’occasion de la semaine européenne pour l’emploi des personnes handicapées, Systerel organise une série d'ateliers interactifs visant à sensibiliser et à informer ses collaborateurs sur le handicap.
