Au sein d’une équipe de R&D, vous réaliserez un démonstrateur pour un nouveau type de poste de manœuvre ferroviaire afin de valider la faisabilité de nouveaux concepts.
Durant ce stage, vous acquerrez des connaissances ferroviaires très recherchées dans l’industrie tout en développant vos compétences informatiques.

L’objectif du stage consiste à concevoir un outil basé sur libAdaLang afin d’analyser un ensemble de fichier Ada et d’extraire les métriques pertinentes dans le cadre d’une analyse formelle SPARK.

Vous aurez pour principales missions :
Réaliser des analyses de risques système et/ou logiciel;
Assurer le suivi technique de la partie SdF du projet;
Gérer dans leur globalité des projets de sûreté de fonctionnement :

L’objectif du stage est de réaliser tout ou partie de l’implantation de la partie PubSub du protocole OPC-UA en Rust.

Il s’agira après une prise en main du langage Rust et des sources existantes en C, de définir un plan de travail permettant de réaliser un portage incrémental, en s’interfaçant dans un premier temps avec le code C existant, puis de réaliser le portage

Systerel développe une implémentation libre et sécurisée du protocole OPC UA =>vous aurez à : identifier des critères de performances (empreinte mémoire, temps d’exécution des lectures, écritures, nombre de sessions gérables en //, …), mettre en œuvre des moyens de mesure de ces critères sur différentes piles, intégrer tout ou partie de ces outils de mesure dans un banc de test de non régression afin d’analyser les évolutions d’une version à une autre.

L’objectif du stage est de concevoir un outil automatisant la transformation de code Ada au moyen d’un parser basé sur libAdaLang. Le code Ada sera alors régénéré à partir de l’AST modifié afin de permettre l’analyse du code par l’analyseur formel SPARK.

Au sein de l’équipe systèmes temps réel, vous serez en charge de mettre en œuvre SPARK 2014 sur un logiciel existant afin d’expérimenter cet outil dans un contexte industriel

L’objectif du stage consiste à étudier et à développer une nouvelle fonctionnalité consistant à afficher des données sur le plan de voie de la ligne de métro ou du poste d’aiguillage.

Systerel souhaite mettre en place un environnement de tests automatisés pour une application web interne, basée sur GWT.