Stages : Atos recherche un(e) Stagiaire pour le développement d’un outil de vérification formelle en France.
Contexte
Le stage est proposé au sein de l’entité transport du centre System Intégration de Rennes. L’application de gestion des aiguillages est le système générique de commande et de contrôle des postes d’aiguillage de l’opérateur de transport ferroviaire. Il est développé par Atos au sein de différentes équipes.
Mission
Le but du stage est de créer un nouvel outil, bénéficiant du retour d’expérience d’un autre projet similaire et s’adaptant parfaitement aux besoins d’Atos pour le projet.
L’objectif de cet outil de vérification formelle est de vérifier le paramétrage par rapport aux données d’études.
- Créer une Interface en Java pour appel moteur;
- Créer une architecture et une base de données pour import folios et fichiers de paramétrages;
- Création d’une IHM pour l’import des folios et des fichiers de paramétrages;
- Implémentation et transformation des règles, ic, accesseurs en machines;
- Lancement d’une vérification;
- Exploitation des résultats du moteur;
- Génération d’un rapport excel pour les résultats du test.
Environnement : Vérification formelle, Langage B, Java, API Connaissances souhaitées sur la théorie des ensembles.
Objectifs pédagogiques
Ce stage permet d’évoluer au sein d’une équipe de développement dynamique dans le domaine ferroviaire et au plus près du besoin. Vous pourrez donc travailler de manière très concrète et interactive lors des différentes phases du projet : qualification du besoin, recherche de la solution, réalisation et validation de la solution.
Profil
De formation Bac+5 en informatique (Ecole d’ingénieur ou université) en cours de validation, vous recherchez un stage d’une durée de 4-6 mois (dates variables selon l’école).
Une proposition d’embauche en fin de stage est envisageable, sur le site de votre stage, ou, si vous le désirez, dans toute autre région dans laquelle Atos recrute.
Postulez ici
Date limite : 28 février 2023