Alternance - Développeur·se Vérification de Logiciel d'Un Calculateur Embarqué - Aeroline - Toulouse H/F Sopra Steria

Rejoignez notre équipe dynamique pour un grand client du secteur aéronautique ! L'équipe est constituée de 5 à 10 personnes, dont le chef de projet et le responsable qualité. Vous pouvez être amené(e) à travailler avec nos équipes indiennes. Vous êtes intégré(e) aux ingénieurs travaillant dans ce même contexte et connaissant le contexte aéronautique ainsi que les contraintes de développement de ces logiciels embarqués.

Vos missions :

En étroite collaboration avec nos architectes, vous participez aux projets de développement et de vérification de logiciels pour des équipements embarqués critiques, soit dans la partie applicative, soit dans la partie OS temps réel (gestion des ressources processeur, communication, application). Vous intervenez sur les phases de spécification, développement et vérification :

- Spécification, Design et Architecture
- Codage d'évolutions dans le cadre de la maintenance des logiciels (applications, gestion des ressources tâches, sémaphore, mutex, port et protocole de communication, etc.)
- Spécification des tests, preuve de programme, réalisation des scripts de tests
- Exécution des tests d'intégration et de validation, caractérisation des problèmes rencontrés

Les apports de l'alternance :

- Apprendre la méthodologie de mise en oeuvre d'un projet industriel en mode forfait
- Découvrir une expérience professionnelle en équipe mutualisée onshore/offshore
- Découvrir les normes aéronautiques sur les différentes phases de réalisation d'un logiciel embarqué
- Appréhender les différentes briques logicielles d'un OS multicoeurs
- Apprentissage des protocoles avioniques
- Mise en place de fonctionnalités avioniques via des systèmes embarqués

Technologies utilisées :

- Langages : C, C++, ASM, PowerPC, Python, JAVA, KSH/SH, SCADE
- Méthodologie : UML, HOOD, Architecture de systèmes en temps réel, contraintes temps réel
- Protocoles : CAN, AFDX, RS 232, ARINC429, ETHERNET, AUDIO
- Outils : GIT, ROBOT Framework, Visual Studio Code, Jenkins, Reqtify, Gradle, bancs de test, RTRT, Clearcase, DOORS
- Systèmes d'exploitation : UNIX, WINDOWS

Environnement technique et normé :

- Normes : DO178C, certification du logiciel auprès de l'agence européenne de la sécurité aérienne (EASA)