Institut national de recherche scientifique français Univerité Pierre et Marie Curie Université Paris Diderot - Paris 7

Accueil > Emplois, stages

Emplois, stages

Offre de stage

Mesure des temps d'exécution pire cas du logiciel de vol de PLATO

Description La mission PLATO de l'Agence Spatiale Européenne (ESA) est une mission pour la recherche d'exoplanètes et l'étude sismique de leurs étoiles-hôtes, faisant suite aux missions CoRoT, Kepler et Tess (http://www.lesia.obspm.fr/PLATO.html). Le Service Informatique Instrumentale du LESIA (SII) a la responsabilité du développement du logiciel de vol des calculateurs de PLATO (N-DPU). L'objectif du stage est de réaliser les mesures des temps d'exécution pire cas (WCET) des différentes tâches du logiciel de vol de PLATO. Ces mesures serviront à alimenter le modèle d'ordonnançabilité du logiciel de vol. Le stagiaire devra développer une application de test dédiée spécifiquement à ces mesures. Les développements s'appuieront sur le framework logiciel GERICOS (http://www.lesia.obspm.fr/-Logiciels-embarques-.html?artpage=4). Le stagiaire sera intégré à une équipe de 8 ingénieurs. La cible matérielle est une carte électronique à base de processeur LEON3-FT dual core (GR712RC). L'environnement de développement sera constitué de l'atelier Eclipse, d'un simulateur du processeur LEON-FT, d'une carte prototype des N-DPU de PLATO et de la plate-forme de test des logiciels embarqués du LESIA. Ce stage pourra éventuellement déboucher sur une embauche dans le cadre du projet PLATO. Les principales tâches du stage sont : 1. Développement en C++ à l'aide du framework GERICOS de l'application de test. 2. Réalisation des mesures des temps d'exécution sur cible matérielle. 3. Production de documents techniques (rapports de mesures).
Compétences - Informatique embarquée. - Programmation temps réel. - Langages C et C++. - Architecture des processeurs et des systèmes embarqués. - Programmation orientée objets. - Modélisation UML.
Niveau M2
Nom du contact
Email
Téléphone
Durée 4 à 6 mois
PĂ©riode

Retour Ă  la liste