V Sujets de stage 2014 Spécialité Informatique / Electronique

Transcription

1 V Sujets de 2014 Entreprise : Astrium Space Transportation, 66, route de Verneuil Les Mureaux Spécialité : Informatique / Electronique Formation : 5 ième année d Ecole d Ingénieur ou de Master Département : Data Management and Software Prière d adresser vos candidatures à david.lesens@astrium.eads.net 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 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 s 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 1. Génération automatique de code Directeur de David Lesens Description 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 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 Ce 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. 1 / 5

2 V Sujets de 2014 Titre 2. Etude des technologies de mémoire rapide on chip (cache, TCM,...) Directeur de Jérémie Sangaré Description L objectif de ce 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 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 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. Titre 3. Outil logiciel d observabilité d un réseau Time Triggered Directeur de Pierre Sautereau Description Ce 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 (QT, GTK ). Enfin, le 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. 2 / 5

3 V Sujets de 2014 Titre 4. Evaluation du portage d un logiciel de gestion de mission atterrisseur planétaire Directeur de Olivier Boudillet Description Suite au succès du vol d essai d un démonstrateur d atterrisseur planétaire, il est proposé dans le cadre de ce, 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. Titre 5. Automatisation du test de logiciels critiques sur processeur spatial Directeur de Christophe Goarin Description Le but de ce 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 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

4 V Sujets de 2014 Titre 6. Environnement de prototypage d'algorithmes Directeur de Pierre Moro Description 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 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, 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. Titre 7. Développement d'outils d'aide à l'analyse de programme de vol Directeur de Sébastien Poirieux Description L objectif de ce 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. 4 / 5

5 V Sujets de 2014 Titre 8. Automatisation de la validation des logiciels embarqués Directeur de Albert Jou Description 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 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 Ce 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