Systerel développe une implémentation open-source du protocole OPC UA, S2OPC, qui vise des certifications de cyber sécurité. Cette sécurisation des communications passe par la mise en œuvre d’algorithmes de chiffrement qui doivent offrir un bon compromis entre le niveau de protection et les performances associées afin d’être utilisables dans les milieux industriels. Pour cela, S2OPC s’appuie historiquement sur la bibliothèque logicielle MbedTLS .
Le stage consiste à explorer d’autres alternatives.

Le stage consiste à tenter de reproduire ces types d’attaques sur plusieurs librairies OPC UA dont Safe & Secure OPC, implémentation open-source développée par Systerel et visant des certifications de cyber sécurité.

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à contribuer à l’amélioration de notre solution de preuve distribuée.

L’objectif de votre stage sera d’apporter un support aux activités de Sûreté de fonctionnement réalisées au sein du département pour le compte de maîtres d’œuvre et/ou d’ouvrage ou d’industriels de systèmes de contrôle-commande ferroviaire critiques (ERTMS/ETCS/Signalisation).

L’objectif de votre stage sera, pour des projets de déploiements de systèmes de contrôle-commande ferroviaire critiques (CBTC), de participer au rôle de chargé de validation système (au sens de la norme EN 50126:2017 tableau G.3).

L’objectif de votre stage sera d’apporter un support aux activités de second regard (évaluation) réalisées au sein du département pour le compte de maîtres d’œuvre et/ou d’ouvrages de systèmes de contrôle-commande ferroviaire critiques (CBTC / ATS).

Ce stage consiste à étudier comment vérifier avec l’outil OVADO²® des propriétés de sécurité d’un système ferroviaire décrit à partir d’un modèle BIM. L’objectif est d’apporter de nouveaux débouchés à OVADO²®. 

Ce stage consiste à étudier comment vérifier avec l’outil OVADO²® des propriétés de sécurité d’un système ferroviaire décrit à partir d’un modèle BIM. L’objectif est d’apporter de nouveaux débouchés à OVADO²®

Dans le cadre du développement de nos solutions de test formel, le stage vise à contribuer à l’amélioration de notre solution de back-to-back (B2B) testing.

Dans le cadre du développement de nos solutions de test formel, le stage vise à contribuer à l’amélioration de notre solution de back-to-back (B2B) testing.

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.