Airbus Safran Launchers, 66, route de Ve

V-15/09/2016
Sujets de stage 2017
Spécialité Informatique / Electronique
Entreprise
: Airbus Safran Launchers, 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
: Avionics Architecture & On-board Software
Prière d’adresser vos candidatures à [email protected]
et de les confirmer sur www.jobs.airbus-group.com
Avertissement
:
Un délai d’au moins 2 mois est à prévoir pour la sécurité industrielle entre l’acceptation
technique de votre candidature et le début effectif du stage
Airbus Safran Launchers est le leader du transport spatial
en Europe. Airbus Safran Launchers est ainsi maître
d’œuvre des lanceurs lourds Ariane 5 et Ariane 6 et du
missile balistique M51.
Les sujets de stages ci-dessous sont proposés par le
département « Avionics Architecture & On-board
Software » sur le site des Mureaux. Ils visent soit à
améliorer les programmes existants, soit à préparer les
projets futurs (en particulier Ariane 6).
Titre
Référence
Description
1. Outillage de génération de tableau de bord de pilotage projet logiciel
10338666
Dans le cadre du développement des logiciel de vol des lanceurs spatiaux, un tableau de bord
doit être mis en place pour suivre l’avancement des différentes activités du cycle de
développement, spécification / design / codage / test unitaires / intégration / validation et toutes
les vérifications associées.
Le pilotage d’un projet logiciel d’un lanceur spatial est complexe : L’équipe de développement est
nombreuse, le périmètre technique est conséquent, la quantité de documents, fichiers sources,
tests produits est importante.
Un pilotage efficace du projet nécessite de pouvoir évaluer assez finement l’avancement effectif
des travaux, la qualité de la production et la productivité de l’équipe, les problèmes rencontrés,
les risques.
L’objectif du stage est donc de pouvoir produire régulièrement et de manière automatique des
indicateurs projets déterminés sur la base d’informations extraites essentiellement des données
produites disponibles en gestion de configuration, de la base de faits techniques du projet et de
la base de suivi des tâches à réaliser.
On générera par exemple des indicateurs sur : taux et types d’anomalies, productivité moyenne
par activité, maturité des exigences, avancement/reste à faire par activité, budget versus
consommation réelle, niveau de compétences des ressources par activité…
Le stage comprend plusieurs phases :
- Analyse des besoins de pilotage et identification des indicateurs, analyse des données
disponibles
- Spécification des outillages permettant d’extraire les informations et la génération des
indicateurs, avec visualisation de leur évolution dans le temps sous une forme graphique
- Maquettage de ces outillages
Compétences
requises
Période /
Durée
Intégré au sein de l'équipe en charge du développement des logiciels de vol Ariane 5/6, le
stagiaire aura l’opportunité d’acquérir des compétences sur l’ensemble du processus de
développement de logiciels critiques, le pilotage de projet, la gestion des données et leur
exploitation.
Connaissance des langages de programmation JAVA, Perl et UML.
Environnements Linux / Windows
6 mois
1/4
V-15/09/2016
Titre
Référence
Description
Sujets de stage 2017
Spécialité Informatique / Electronique
2. Analyse de la couverture des tests réalisés sur un logiciel bord lanceur.
10338657
Dans le cadre du développement du logiciel bord d’un lanceur spatial, différents tests sont
classiquement effectués : Tests Unitaires, Tests d’Intégration et Test de Validations.
Ces différents types de tests ont des objectifs différents et sont réalisés dans des
environnements de tests potentiellement différents (plateformes émulées ou plateformes réelles).
Le premier objectif du stage est d’analyser ces différents types de tests pour répondre aux
questions suivantes :
- Bien que ces objectifs de tests soient différents, est-ce ces types de tests ont des points
communs ? Lesquels ?
- Est-ce que des optimisations peuvent être trouvées ? Est-ce qu’un type de test peut
s’appuyer sur ou compléter un autre type de test ?
- Que peut-on tirer des plateformes émulées comparées aux plateformes réelles ? Que
peut-on en conclure sur la couverture de code ?
Cette analyse théorique s’appuiera sur les résultats d’une campagne de tests (composée de
tests unitaires, de tests d’intégration et de tests de validation) d’un projet en cours.
Compétences
requises
Période /
Durée
Titre
Référence
Description
Le deuxième objectif du stage est de mettre en place un outil d’analyse des couvertures de code
issues des différentes plateformes de tests (émulées ou réelles).
Ada 2012 / Connaissances du cycle en V / Connaissances des Tests Unitaires, Tests
d’intégration, Tests de validation.
4 / 6 mois
3. Analyse statique d’un logiciel de vol lanceur
10338658
Dans le cadre du développement des logiciels de vol de lanceur spatial, des campagnes de test
(unitaire, d’intégration et de validation) sont à réaliser. Certains objectifs de test, comme la
couverture de données, impliquent des coûts de développement importants et ne peuvent pas
être exhaustivement atteints.
Afin d’atteindre un meilleur niveau de couverture de données à moindre coût, ce stage vise à
étudier les différentes approches de test par contrat et d’analyse statique offertes par ADA 2012,
SPARK 2014 et CodePeer. A terme cette étude vise leur utilisation pour la validation des
logiciels de vol des lanceurs spatiaux
Afin d’atteindre cet objectif global, le stage se composera de :
• L’analyse comparative des trois approches proposées
• La proposition d’une stratégie de test ou d’analyse statique s’intégrant dans le processus
du développement du logiciel de vol
• Le maquettage de la stratégie proposée
Compétences
requises
Période /
Durée
Intégré au sein de l'équipe en charge des logiciels de vol Ariane 5/6, le stagiaire aura
l’opportunité d’acquérir des compétences sur les processus de validation de logiciels critiques, la
gestion de grands volumes de données et leur exploitation pratique.
Connaissance des langages de programmation orientés objet, ADA étant un plus.
La connaissance des techniques d’analyse statique de code serait un plus.
Environnements Linux et Windows
6 mois
2/4
V-15/09/2016
Titre
Référence
Description
Sujets de stage 2017
Spécialité Informatique / Electronique
4. Analyseur graphique de logiciel temps réel multitâche
10338660
Les lanceurs spatiaux d’Airbus Safran Launchers sont contrôlés par des logiciels temps réel
critique, critique dans le sens que le moindre retard dans l’envoi d’une commande de braquage
peut provoquer la perte du lanceur. Ces logiciels sont constitués de blocs fonctionnel déployés
sur des tâches, communiquant entre eux (échange de données) et chacun ayant ses propres
conditions d’activation.
Cette architecture temps réelle multitâche complexe est difficile à appréhender à partir du code
source de l’application. L’objectif de ce stage est donc de développer un outil de navigation
graphique pour des architectures complexes de ce type. Les activités à réaliser sont les
suivantes :
- A partir d’un exemple d’architecture temps réel d’un programme de vol lanceur, étude
des différents mécanismes mis en jeu (blocs fonctionnels, flots de données, flots de
contrôles, tâches, rendez-vous entre tâches…)
- Spécification d’un outil graphique permettant de naviguer dans ces mécanismes
- Développement d’un prototype de l’outil
Compétences
requises
Période /
Durée
Titre
Référence
Description
Compétences
requises
Période /
Durée
Ce stage s’effectuera en immersion dans l’équipe de développement des logiciels bord lanceurs
(Ariane5 et Ariane6) et permettra de découvrir toutes les fonctionnalités d’un logiciel temps réel
critique.
Connaissance des logiciels temps réels multitâches. Connaissance des outils de développement
de graphique. La connaissance du langage de programmation Ada est un plus.
6 mois en 2017
5. Simulation d’exigences textuelles d’un logiciel de vol lanceur
10338673
Une étape préalable à la réalisation du logiciel de vol opérationnel d’un lanceur spatial consiste à
rédiger le contrat à respecter sous la forme d’exigences textuelles.
Ces exigences une fois analysées sont prises en compte par l’équipe chargée de la conception
et du codage du logiciel de vol.
Dans le cas de fonctions complexes, l’exercice de formalisation du besoin sous la forme d’une
succession d’exigences peut s’avérer difficile et donner lieu lors de la réalisation à un
comportement non prévu.
L’objectif du stage consiste à développer un outillage permettant de formaliser puis de tester au
plus tôt ces exigences pour en observer le comportement sur la base d’une stratégie de
stimulation aléatoire et de preuve formelle.
Cet outillage permettra de visualiser sous forme de graphes les données d’entrée et de sortie
des exigences simulées lors des stimulations et de détecter d’éventuelles incohérences ou
dysfonctionnement dans les exigences du cahier des charges.
Pour atteindre cet objectif le stagiaire devra :
- Implémenter dans un méta-langage (à définir) une bibliothèque de « phrases à trous »
couvrant le besoin des exigences textuelles.
- Convertir en ADA 2012 les exigences ainsi reformatées.
- S’approprier et adapter un outil JAVA existant de stimulation aléatoire d’un modèle
d’architecture logiciel critique codé en SPARK 2014 (sous-ensemble formel du langage
ADA 2012) pour y intégrer de nouvelles lois de stimulation
- Implémenter un outillage de visualisation de données sous forme de graphes
- Mettre en œuvre et valider l’intérêt de l’approche sur une étude de cas Ariane 5
- Evaluer la capacité des outils d’analyse statique associés au langage SPARK 2014 à
prouver formellement les pré et post-conditions associées aux exigences modélisées.
La connaissance des langages JAVA et ADA 2012/SPARK 2014 est un plus
Notions sur les logiciels temps réel
Développement d’applications Eclipse RCP (pour la partie visualisation graphique)
6 mois
3/4
V-15/09/2016
Titre
Référence
Description
Compétences
requises
Période /
Durée
Titre
Référence
Description
Sujets de stage 2017
Spécialité Informatique / Electronique
6. Méthode de modélisation de la surveillance d’un lanceur spatial
10338663
Dans un lanceur spatial, une tâche importante réalisée par le logiciel embarqué est de surveiller
l’état des différents constituants du système (moteurs, réservoir, avionique…). Ces surveillances
peuvent être classées en grandes familles et pour chacune d’entre elle, il est possible de
spécifier de façon générique le traitement attendu.
Le travail à réaliser par le stagiaire sera :
• De faire l’inventaire et classer les différents types de surveillance rencontrés sur nos
systèmes,
• De proposer une méthode pour modéliser en SysML de façon formelle chaque type de
surveillance générique et ses différentes instances,
• De développer des outils exploitant le modèle pour:
o générer les exigences logicielles lisibles,
o générer le code Ada 2012 associé
o générer les scripts de test unitaire
o générer les cas de test de validation et les procédures associées
SysML, Ada2012, Cycle de développement logiciel
6 mois
Janvier 2017-juin 2017
7. Outil d’aide à la rédaction de documents
10338665
En plus du travail technique de conception des lanceurs spatiaux, une partie non négligeable du
travail de chaque ingénieur consiste à rédiger de nombreux documents techniques dont le
niveau de qualité requis (respects de formalismes stricts, contenus standardisés etc…) et le coût
associé est par conséquent élevé.
L’objectif de ce stage est l’industrialisation d’un prototype d’un outil de gestion automatique des
acronymes/sigles existants dans les documents techniques écrits en Word dans l’entreprise.
o Une amélioration de la maintenabilité du logiciel est attendue par notamment la
refonte de l’architecture de l’outil existant en une version plus modulaire
permettant d’ouvrir cet outil à de nouvelles évolutions (ajouts de fonctions)
o Un travail de transcodage du VBA vers le C++ (sous Visual Studio par exemple)
sera nécessaire avant de pouvoir effectuer le déploiement de l’outil sur chaque
poste de travail de l’entreprise.
o Un travail sur l’interface graphique du logiciel sera également nécessaire pour
essayer d’en améliorer son ergonomie.
o L’outil devra être documenté (spécification, design, plan de test, écriture des
tests de validation) afin de pouvoir assurer la maintenance ultérieure de l’outil.
Compétences
requises
Période /
Durée
Ce stage permettra au candidat de se familiariser avec la méthodologie de développement
d’Airbus Safran Launchers pour les logiciels embarqués critiques pour les lanceurs, ainsi qu’avec
les processus et standards de l’Agence Spatiale Européenne. Ce stage offrira également au
candidat une compréhension globale de l’organisation d’une entreprise telle qu’Airbus Safran
Launchers et des problématiques liées au travail quotidien d’un ingénieur.
DUT / Licence d’informatique, fin de 1iere/2ieme année d’école d’informatique.
Programmation objet, C/C++, Visual Studio. Seront appréciés les candidats ayant déjà
développé des compléments COM Word/Excel et ayant une connaissance de technologies de
bases de données. C#, VB.NET, VBA
5 mois en 2017
4/4