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.
Article de blog : Portage d’un code Ada
Vous êtes confronté ou avez déjà été confronté au défi lié au portage d'un code Ada vers un nouvel environnement ?
Vous souhaitez assurer la coexistence harmonieuse entre le code legacy et le code porté ?
C’est là tout l’enjeu exploré par le dernier article de blog publié par Systerel.
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.
