Stage : Ingénieur en développement et simulation de logiciels embarqués (F/H)

Nous recherchons notre prochain(e) ingénieur(e) stagiaire afin de venir aider les équipes ingénierie dans l’intégration et optimisation de l’émulateur SKE pour le développement et la simulation de logiciels embarqués sur des nanosatellites.

Contexte :

SKE (Separation Kernel Emulator) est un outil développé par la société FENTISS qui émule l'hyperviseur XtratuM Next Generation (XNG) sur des machines hôtes Linux. Il permet de reproduire un environnement matériel/logiciel partitionné basé sur le concept de séparation temporelle et spatiale, facilitant ainsi le développement, le test et la simulation de systèmes embarqués critiques.

Objectifs du stage :

• Intégration de SKE

  • Adaptation d'un logiciel de vol nanosatellite pour intégrer SKE et permettre son exécution native sur PC linux,.

  • Assurer la compatibilité avec les environnements de développement existants et les outils de débogage.

• Débogage et correction de bugs

  • Utiliser des outils tels que GDB pour identifier et corriger les bugs dans le logiciel de vol exécutés sous SKE.

  • Mettre en place des procédures de test pour valider les corrections apportées.

• Simulation de constellations de satellites :

  • Utiliser SKE pour simuler des constellations de satellites, en reproduisant les interactions et les communications entre les différents nœuds.

  • Analyser les performances et le comportement des logiciels de vol dans un environnement simulé multi-satellites.

• Gestion du temps et restauration du contexte :

  • Implémenter des mécanismes de restauration du contexte pour permettre des reprises après interruption ou des tests répétés.

  • Gestion du temps dans SKE pour accélérer les simulations.

Vous êtes étudiant(e) en 5ème année d’école d’ingénieur en systèmes embarqués et avez un esprit analytique et de résolution de problèmes complexes, ce stage est fait pour vous !

Compétences requises :

• Connaissances en systèmes embarqués

• Maîtrise des environnements Linux et des outils de débogage tels que GDB.

• Compétences en programmation C/C++ et en scripts Shell.

• Capacité à analyser et résoudre des problèmes complexes.