Description du stage Safran
Au sein de notre établissement de Massy, nous recherchons un(e) stagiaire afin d'évaluer un environnement de vérification de code pour logiciel embarqué.
Rattaché(e) au Centre d'Excellence Développement Logiciel, vous aurez pour principales missions:
- Evaluer des outils de vérification issus d'un projet sur des codes embarqués pour cible PowerPC,
- Tester ces outils sur des exemples de code de projets logiciel en cours,
- Raffiner la méthodologie de vérification avec ce type d'outils en fonction des caractéristiques des codes analysables et des aptitudes des outils.
|