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 Philippe Plasson
Email philippe.plasson@obspm.fr
Téléphone 0145077978
Durée 4 à 6 mois
Période

Retour à la liste

Déposer une demande de stage post-bac

Vous pouvez déposer votre candidature pour un stage post-bac, en remplissant ce formulaire.

Les demandes de stages de collège et lycée ne sont pas acceptées dans ce formulaire.

Déposer une demande de stage de collège ou au lycée

Vous pouvez déposer votre candidature pour un stage de collège ou lycée, en remplissant ce formulaire.