Sujets de stage 2014 Spécialité Informatique / Electronique

Sujets de stage 2014
Spécialité Informatique / Electronique
V-2013-09-27
Entreprise
: Astrium Space Transportation, 66, route de Verneuil - 78133 Les Mureaux
Spécialité
: Informatique / Electronique
Formation
: 5ième année d’Ecole d’Ingénieur ou de Master
Département
: Data Management and Software
Prière d’adresser vos candidatures à [email protected]
Avertissement
:
Un délai de 4 mois est à prévoir pour la sécurité industrielle entre l’acceptation technique de votre
candidature et le début effectif du stage
Astrium Space Transportation est le leader du transport spatial en Europe.
Astrium Space Transportation est ainsi maître d’œuvre du lanceur lourd Ariane 5,
du cargo spatial ATV (« Automatic Transfer Vehicle ») et du missile balistique
M51.
Les sujets de stages ci-dessous sont proposés par le département « Data
Management
and
Software »,
responsable du développement des
systèmes numériques et des logiciels
bords de ces véhicules spatiaux.
Ils visent soit à améliorer les
programmes existants, soit à préparer les
projets futurs (en particulier Ariane 6).
Titre
Directeur de
stage
Description
1.
Génération automatique de code
David Lesens
Les techniques de génération automatique de code à partir d’un langage de modélisation sont utilisées
depuis de nombreuses années. L’objectif de ce stage est d’expérimenter la nouvelle génération d’outils qui
seront utilisés sur les futurs projets d’Astrium Space Transportation.
La mission du stagiaire consistera à :
- S’approprier le nouveau processus d’ingénierie dirigée par les modèles d’Astrium Space
Transportation ainsi que les outils associés (outils de modélisation et de génération de code)
- Mettre en œuvre ce processus et ces outils sur une partie d’un programme de vol existant (type
véhicule orbital et / ou lanceur)
- Evaluer les avantages et les manques du processus et des outils
- Développer, lorsque nécessaire, des prototypes des outils manquants
Compétences
requises
Période / Durée
Ce stage permettra au stagiaire de découvrir les méthodes de développement logiciel qui seront utilisées
sur les futurs projets spatiaux européens.
Techniques d’ingénierie logicielle, maîtrise d’au moins un langage de programmation type Java, Ada, C++
ou similaire.
Des connaissances en ingénierie dirigée par les modèles (avec en particulier connaissance d’un ou de
plusieurs langages de modélisation type SysML, UML, SCADE, Simulink, Matlab, AADL…) serait un
plus.
6 mois
1/5
Sujets de stage 2014
Spécialité Informatique / Electronique
V-2013-09-27
Titre
Directeur de
stage
Description
Compétences
requises
Période / Durée
Titre
Directeur de
stage
Description
Compétences
requises
Période / Durée
2.
Etude des technologies de mémoire rapide on chip (cache, TCM, ...)
Jérémie Sangaré
L’objectif de ce stage est l’évaluation de différentes technologies de mémoire rapide de System-On-chip,
type mémoire cache ou Tightly-Coupled-Memory (TCM, ou "scratch pad"). Le stagiaire devra évaluer :
- Différentes technologies matérielles de mémoire rapide on chip (cache, TCM, ...)
- Différentes déclinaisons de ces technologies par les fournisseurs de composants ou d'IP (sur ARM,
LEON, ...)
- Les performances associées à ces technologies sur le matériel à disposition (calculateur ARM multicœur)
- L'observabilité et les capacités de configuration de ces mémoires
- Les contraintes d'utilisation associées
Le stage devra permettre de conclure sur la compatibilité de ces technologies de mémoire rapide avec les
systèmes embarqués temps réels critiques. A cette fin, le candidat disposera d'études déjà réalisées et de
cibles de développement (prototypes de calculateurs spatiaux).
Ce stage offrira au candidat la possibilité de découvrir de nombreux aspects du développement des
logiciels embarqués temps réels critiques et calculateurs spatiaux, du point de vue matériel et logiciel.
Systèmes embarqués, compilation et exécution d'un applicatif sur carte de développement. Langages
C/C++/VHDL.
La connaissance des politiques de cache et de leur utilisation est un plus.
La maitrise du désassemblage et de l'écriture d'un fichier d'édition des liens sont un plus.
6 mois
3.
Outil logiciel d’observabilité d’un réseau Time Triggered
Pierre Sautereau
Ce stage a pour objectif la définition, le développement et la validation d’un logiciel d’observabilité (à
interface graphique) d’un réseau TTEthernet (Time-Triggered Ethernet) standardisé par la société
TTTEch..
Il s’agira dans un premier temps d’étudier les capacités théoriques actuelles d’observation du réseau
TTEthernet afin de proposer une définition d’un outil de visualisation et d’analyse. Le stagiaire aura alors
la tâche de développer l’outil en C++ avec le support d’une bibliothèque graphique à définir dans le cadre
du stage (QT, GTK…). Enfin, le stage se conclura par la validation de l’outil développé sur une plateforme
de démonstration avionique.
Synthèse des objectifs :
- Maitrise des protocoles de communication TTEthernet
- Rédaction de la spécification de l’outil logiciel (définition de besoin)
- Développement du logiciel en C++ avec une bibliothèque graphique
- Mise en application et validation de l’outil sur plateforme.
- Rédaction du manuel utilisateur.
Maitrise des langages C, C++, de l’environnement Linux et du protocole Ethernet.
Une première expérience en développement d’IHM graphique en C++ serait un plus.
La connaissance du protocole AFDX et/ou TTEthernet serait un plus.
6 mois
2/5
Sujets de stage 2014
Spécialité Informatique / Electronique
V-2013-09-27
Titre
Directeur de
stage
Description
Compétences
requises
Période / Durée
Titre
Directeur de
stage
Description
Compétences
requises
Période / Durée
4.
Evaluation du portage d’un logiciel de gestion de mission atterrisseur planétaire
Olivier Boudillet
Suite au succès du vol d’essai d’un démonstrateur d’atterrisseur planétaire, il est proposé dans le cadre de
ce stage, de porter son logiciel temps réel embarqué de gestion de mission sur une nouvelle architecture de
calculateur en développement avec une société partenaire du projet.
Dans le cadre de cette étude, le stagiaire sera en charge :
- De participer avec la société partenaire à la spécification des interfaces de la carte calculateur avec
les mécanismes de communication du système avionique du partenaire d’une part, et d’autre part
les interfaces spécifiques aux besoins basiques de gestion de mission d’un véhicule spatial
(liaisons RS422, 1553…),
- De coder en Ada sous forme de librairies réutilisables les fonctions de gestion de mission du
véhicule,
- De faire exécuter sur hôte le logiciel avec des scénarios missions et potentiellement sur la cible, en
fonction de la date de disponibilité d’une maquette du nouveau calculateur.
- De comparer les méthodes de développement autocoding SCADE par rapport au développement
générique en Ada.
Connaissances logiciel temps réel et architecture des processeurs.
Maitrise du développement en C. La connaissance de SCADE (ANSYS-Esterel) et d’Ada serait un plus.
6 mois
5.
Automatisation du test de logiciels critiques sur processeur spatial
Christophe Goarin
Le but de ce stage consiste à mettre en œuvre à partir du cahier des charges simplifié d’un logiciel de vol
lanceur un processus automatisé de génération de tests à partir de sa spécification. L’étude se limitera aux
exigences d’interfaces logicielles (statiques et dynamiques) ainsi qu’aux exigences exprimant des
contraintes de performance temps réel.
Pour ce faire, la mission du stagiaire consistera à :
- Traduire sous la forme d’exigences formelles respectant une grammaire précise la spécification
- Implémenter ces exigences dans une architecture temps réelle compatible d’un processeur spatial
- Instrumenter cette architecture temps réel avec un mécanisme de trace permettant de dater des
événements internes au logiciel et de collecter les durées d’exécution de chacune des fonctions
embarquées
- Traduire les exigences de la spécification en règles de vérification respectant la grammaire d’un
outil de test existant afin d’obtenir une sanction automatique.
- Réaliser la démonstration du processus sur un processeur spatial
Ce stage permettra au stagiaire d’être confronté :
- aux règles d’ingénierie des exigences,
- aux choix d’architecture logiciel répondant à des critères de fiabilité sévères,
- aux techniques permettant d’intégrer un logiciel critique sur un processeur cible spatial contraint
par les environnements radiatifs auxquels il est soumis.
- à l’importance que revêt dans un développement logiciel le niveau d’automatisation des tests dans
un souci de recherche de performance économique
Les résultats obtenus seront confrontés aux avis de futurs utilisateurs pour vérifier la pertinence des
concepts mis en œuvre.
Une connaissance du développement des logiciels temps réels embarqués :
- ingénierie des exigences et des tests
- méthodes de conception logicielles
- langages C++ et ADA
5 mois
3/5
Sujets de stage 2014
Spécialité Informatique / Electronique
V-2013-09-27
Titre
Directeur de
stage
Description
Compétences
requises
Période / Durée
Titre
Directeur de
stage
Description
Compétences
requises
Période / Durée
6.
Environnement de prototypage d'algorithmes
Pierre Moro
Dans le cadre de l'amélioration continue des processus de développement des logiciels de vol, un premier
environnement d'aide au prototypage rapide d'algorithmes dédié aux besoins des véhicules spatiaux a été
développé en 2012. Cet environnement de développement permet de prototyper des algorithmes en Ada
(langage de programmation utilisé pour les programmes de vol), tout en offrant les mêmes fonctionnalités
que les autres langages couramment utilisés pour le prototypage (type Matlab). L'objectif, à terme, est de
proposer un environnement permettant de réduire le temps de passage du prototypage au code de vol.
Le stagiaire devra:
- Comprendre l'ensemble des besoins que doit couvrir cet environnement décrit dans un cahier des
charges
- Développer les fonctionnalités aujourd'hui non couvertes
- Rédiger à l'issue du stage, un manuel utilisateur
Plus précisément, le stagiaire devra:
- Mettre à jour l’architecture du logiciel, afin d'être compatible des nouvelles librairies d’Astrium
- Améliorer l'aspect généricité des fonctions proposées par cet environnement pour faciliter son
évolutivité
- Implémenter de nouvelles fonctionnalités telles que des mécanismes permettant d'effectuer des
analyses de performance, ou en développant des librairies mathématiques de plus haut niveau
Maitrise d'au moins 1 langage de programmation parmi C, C++, Java et préférablement ADA. Anglais lu et
écrit. Avoir suivi des cours d'automatisme serait un plus.
6 mois
7.
Développement d'outils d'aide à l'analyse de programme de vol
Sébastien Poirieux
L’objectif de ce stage est de développer un outil d’analyse des résultats enregistrés par les plateformes de
test sur différentes interfaces de communication (bus, analyseurs logiques, télémétrie, interface espion) et
sur des bases de temps différentes.
Le stagiaire devra développer un outil
- Capable de décompiler les données en provenance des plateformes de test,
- De resynchroniser les dates d'enregistrement,
- De proposer une IHM très ergonomique à l'utilisateur (filtrage des traces, sélection des équipements,
interprétations des valeurs Hexa à la volée, affichages de la trame bus, détection des évènements
importants, etc.)
- Paramétrable et le plus générique possible pour pouvoir être réutilisé à moindre coût sur les futurs
projets
- Réutilisant au maximum les outils existants qui permettent déjà de décompiler et d’analyser une partie
des données.
Le cahier des charges de l'outil sera fourni en entrée
BAC+4 ou BAC+5 spécialisé en informatique avec des connaissances en C/C++, Java, Script Shell, Perl,
Unix. Une première expérience en développement d'IHM serait un plus.
6 mois
4/5
Sujets de stage 2014
Spécialité Informatique / Electronique
V-2013-09-27
Titre
Directeur de
stage
Description
8.
Automatisation de la validation des logiciels embarqués
Albert Jou
La validation fonctionnelle des logiciels de vol Ariane 5 s’effectue à l’aide de scripts automatiques.
Chaque campagne de test est associée à une mission différente, donc à une trajectoire différente. Il est ainsi
nécessaire de mettre à jour ces scripts pour chaque mission du lanceur.
L’objectif de ce stage est de rendre plus génériques les scripts automatiques de tests de manière à
minimiser les modifications à apporter à chaque mission. Le stagiaire devra :
- Analyser les variabilités entre différentes missions d’un lanceur
- Proposer des solutions pour rendre les scripts automatiques de tests plus génériques
- Prototyper ces solutions
Compétences
requises
Période / Durée
Ce stage permettra au stagiaire de découvrir le monde du test pour les logiciels critiques ainsi qu’une partie
du fonctionnement du logiciel de vol Ariane 5.
BAC+4 et plus, spécialisé en informatique avec des connaissances en Perl, C, C++, Java ou similaires.
5 mois
5/5