Sujets de stage 2015 Spécialité Informatique / Electronique

Sujets de stage 2015
Spécialité Informatique / Electronique
V-2014-09-26
Entreprise
: Airbus Defence and Space, 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] et à les confirmer sur www.jobs.airbus-group.com
Avertissement
:
Un délai de 2 à 4 mois est à prévoir pour la sécurité industrielle entre l’acceptation technique de votre
candidature et le début effectif du stage
Airbus Defence and Space est le leader du transport spatial en Europe. Airbus
Defence and Space 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
Description
1.
Génération automatique de code
Les techniques de génération automatique de code (type Ada, C++) à partir d’un langage de modélisation
(type UML) 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 lanceurs spatiaux d’Airbus Defence
and Space.
La mission du stagiaire consistera à :
- S’approprier le nouveau processus d’ingénierie dirigée par les modèles d’Airbus Defence and Space
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 orienté objet type
Java, Ada, C++ ou similaire.
La connaissance d’UML et d’Ada 2012 serait un plus.
6 mois
1/4
Sujets de stage 2015
Spécialité Informatique / Electronique
V-2014-09-26
Titre
Description
2.
Etude de processeurs multi-cœurs spatiaux pour futurs lanceurs
Les systèmes embarqués temps réels critiques (calculateurs, processeurs) utilisés à bord des engins
spatiaux ont des capacités de calcul très limitées comparées au matériel grand public.
Une des possibilités pour accroitre les capacités de calcul est d’utiliser des processeurs multi-cœurs, qui
permettraient de regrouper des traitements effectués par le passé dans des calculateurs distincts.
L'objectif du stage est de prototyper un regroupement de fonctions avioniques sur processeur multi-cœurs,
à l’aide d’un noyau/RTOS compatible. Les objectifs de ce stage sont les suivants :
- Recenser les solutions matérielles et logicielles existantes permettant de gérer des échanges et accès
concurrents entre processeurs ou cœurs d’un même composant, et évaluer la pertinence de leur
utilisation dans nos système temps réel critiques (besoin de déterminisme fort).
- Prototyper et tester le fonctionnement et les performances de différents mécanismes d’accès
concurrents afin d’en évaluer le déterminisme et les interférences sur le logiciel applicatif.
A cette fin, le candidat disposera d’une cible de développement SCALEO (multiprocesseur ARM) et
mettra en œuvre les barrières de synchronisation de l’Ada2012 sur un RTOS et/ou un hyperviseur (type
runtime AdaCore, PikeOs, Xtratum…).
Compétences
requises
Période / Durée
Titre
Description
Ce stage offrira au candidat la possibilité de découvrir de nombreux aspects du développement des
calculateurs spatiaux et logiciels embarqués temps réels critiques.
Compétences en systèmes embarqués et prototypage requises : compilation et exécution d'un applicatif sur
carte de développement.
Langages C/C++ et Ada.
La maitrise d’un RTOS est un plus.
6 mois
3.
Optimisation du processus de test unitaire
Le stage se situe dans le cadre des activités de développement des logiciels embarqués du lanceur Ariane et
plus particulièrement du processus et des outils de validation unitaire des composants en langage Ada, en
préparation du développement des futures versions du lanceur.
L’objectif principal du stage est de définir et d’expérimenter une nouvelle approche de test unitaire
permettant d’améliorer la vérification des appels entre services d’un même composant Ada.
Activités à mener :
- Analyser le processus de test unitaire et les interactions entre les différents outils mis en œuvre : Outils
de test unitaire, chaîne de compilation, scripts
- Définir/sélectionner une nouvelle stratégie permettant d’optimiser les appels entre services d’un même
composant
- Spécifier les outils/scripts à développer
- Implémenter un démonstrateur des outils/scripts.
- Evaluer le démonstrateur sur des modules de code représentatifs
Compétences
requises
Période / Durée
Intérêt du stage : Intégré au sein de l'équipe en charge des logiciels de vol Ariane, le stagiaire devra d'abord
comprendre les processus et contraintes de développement des logiciels critiques pour ensuite proposer
des optimisations.
Découverte du contexte opérationnel Ariane, mise en œuvre des outils de développement Ada et test
unitaire, développement d’outils
La connaissance des langages de programmation Perl et Ada est un plus.
Environnement UNIX
5-6 mois
2/4
Sujets de stage 2015
Spécialité Informatique / Electronique
V-2014-09-26
Titre
Description
4. Optimisation du processus de traçabilité logicielle
Le stage se situe dans le cadre des activités de développement des logiciels embarqués du lanceur Ariane et
plus particulièrement du processus de gestion des évolutions de documents de spécification ou de
conception.
L’objectif principal du stage est de définir et expérimenter une méthodologie innovante et les outils
associés de signature numérique de chaque exigence d’un document de spécification ou de conception.
Cette nouvelle approche doit permettre une identification plus efficace des évolutions, et offrir la capacité
d’associer le contenu d’une exigence à une information externe telle qu’une justification de traçabilité avec
un document amont ou aval.
Activités à mener :
- Analyser le processus et les outils mis en œuvre pour la génération de document de spécification ou de
conception, la traçabilité et la gestion d’évolution de ce type de document: Outil de modélisation,
traitement de texte, outil de traçabilité, scripts
- Définir/sélectionner une méthodologie permettant de signer les exigences, stocker ces signatures, et de
gérer/afficher les différences entre deux itérations ou les liens avec des documents associés,
- Evaluer les fonctionnalités d’un outil commercial et maquetter une intégration de cet outil dans un
processus opérationnel de développement, avec tous les scripts nécessaires.
- Spécifier les outils/scripts complémentaires à développer
- Implémenter un démonstrateur des outils/scripts.
- Evaluer le démonstrateur sur des exemples représentatifs de spécification
Compétences
requises
Période / Durée
Titre
Description
Compétences
requises
Période / Durée
Intérêt du stage : Intégré au sein de l'équipe en charge des logiciels de vol Ariane, le stagiaire devra d'abord
comprendre les processus et contraintes de développement des logiciels critiques pour ensuite proposer
une optimisation de la gestion des exigences.
Découverte du contexte opérationnel Ariane, mise en œuvre des outils de génération et gestion d’exigences
de spécification ou design, développement d’outils
La connaissance des langages de programmation orientée objet, design patterns, C++, Perl et Ada est un
plus
Environnement UNIX
4 mois / 1ère année d’école d’ingénieur ou L3
5.
Outil de chargement de logiciel dans un calculateur embarqué
Ce stage a pour objectif la définition, le développement et la validation d’un outil logiciel (avec interface
graphique) de chargement de binaires dans des calculateurs reliés à un réseau TTEthernet (Time-Triggered
Ethernet).
Il s’agira dans un premier temps d’étudier la mise en œuvre de calculateurs utilisant des processeurs ARM
et le système de communication. Le stagiaire aura ensuite la tâche de développer l’outil hôte et le logiciel
embarqué permettant de recevoir des binaires et de les sauvegarder en mémoire, en vue de les exécuter.
Enfin, le stage se conclura par la validation de l’outil développé sur une plateforme de démonstration
avionique composée de prototypes.
Synthèse des objectifs :
- Maitrise du protocole de communication entre hôtes et calculateurs
- Maitrise de la programmation embarquée sur calculateur et utilisation de pilotes
- Rédaction de la spécification de l’outil logiciel (définition de besoin)
- Rédaction de l’architecture de l’outil logiciel (description algorithmique)
- Développement du logiciel (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, du protocole Ethernet et exécution d’un
applicatif sur carte de développement.
La connaissance de TTEthernet et du langage PHP serait un plus.
5 mois
3/4
Sujets de stage 2015
Spécialité Informatique / Electronique
V-2014-09-26
Titre
Description
6.
Harmonisation d’architectures logicielles
Le but de ce stage consiste à étudier et à prototyper un concept d’architecture logicielle utilisable d’une
part pour préparer un lanceur spatial au sol, d’autre part pour contrôler le vol du lanceur après décollage.
Partant d’un prototype de concept d’interface Ada adapté à un logiciel de vol, le titulaire réalisera la
déclinaison pour des logiciels de mise en œuvre sol de ce produit en JAVA et analysera à partir d’une
étude de cas son adéquation au besoin.
L’objectif est de s’assurer de la faisabilité de ce modèle standard d’interface pour faciliter la réutilisation
de composants logiciels sol et bord et leur interopérabilité.
En particulier on s’attachera à associer à ces modèles d’interface la notion de portée pour faciliter l’analyse
d’impacts de modifications et la notion de contrat de conception exécutable pour en améliorer la robustesse
Pour cela, on pourra s’inspirer du standard de l’OMG DDS (Data Distributing Service).
L’intérêt de ce stage est qu’il permet, sur la base d’un exemple simple, de se familiariser avec les
contraintes de développement logiciel spatiaux critiques.
Il permet en particulier de développer dans ce contexte des compétences sur :
- La conception orientée objet en ADA et en JAVA
- La programmation par contrat en ADA et en JAVA
- L’ingénierie des tests logiciels
- Standard DDS de l’OMG
- La conception orientée aspects
Compétences
requises
Période / Durée
Titre
Description
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 logicielle orientées objet
- Langages JAVA et ADA
Fev-Mars / juin-juillet : 6 mois
7.
Outils d’analyse des logiciels de vol Ariane
Dans le cadre du développement du logiciel de vol du lanceur Ariane, chaque essai joué génère un volume
très important de traces.
Le but du stage est la conception d’un outillage adapté permettant de gérer ces très grandes quantités de
données et permettant aux utilisateurs de naviguer dans ces données. Les besoins de navigation seront
spécifiés par les utilisateurs.
Compétences
requises
Période / Durée
Ce stage permettra au stagiaire d’acquérir des compétences en spécification et recueil de besoins auprès
des utilisateurs, conception logicielle et gestion de grands volumes de données, ainsi que certains aspects
de la validation et intégration des logiciels critiques.
Bases de données, SQL, Java, C, C++
6 mois
4/4