Sagem
- Ingénieur Développement / Qualité Logiciel DO178B
PARIS
2011 - 2012
La mission se découpe en trois séquence :
la première a eu pour objet le développement et la qualification de la chaine de génération du logiciel de train d’atterrissage du 787 dreamliner,
la seconde a été centrée sur le développement d’une librairie qualifiée DAL A embarquée dans le logiciel du train d’atterrissage de l’A350,
la troisième portait sur les activités qualité logiciel des projets de trains d’atterrissage pour les avions A350 et LJ200.
• Relecture du document spécifiant les règles de transformation d’un maillon de la chaine de génération.
• Description des exigences opérationnelles de l’outil de vérification qualifié chargé de vérifier l’application des règles ci-dessus. Codage de l’outil. Rédaction de la description des tests. Codage des tests. Exécution des tests formels et rédaction du rapport de test.
• Mise à jour du plan de qualification des outils.
• Inclusion de l’outil dans la chaîne de génération de l’exécutable final existante (avec Analyse et tests afin de conserver les crédits de qualification de cette chaîne).
• Relecture technique des documents de qualification de SCADE KCG (premier maillon de la chaine)
• Suivi des FFTs du projet 787 EBAC.
• Relecture technique du code de la librairie en face du document de design.
• Relecture technique du Document de test de la librairie.
• Relecture technique des scripts de test.
• Développement d’un prototype optimisé de la librairie.
• Mesure sur cible du gain CPU issu de cette optimisation.
• Réécriture du document de design
• Réécriture du code et mise en accord avec les règles de codage
• Evaluation du temps des activités.
• vérification du produit des activités techniques (plans, standards, exigences fonctionnelles, exigences bas niveau, codage, description des tests, scripts de tests…)
• vérification du respect du processus de développement,
• vérification qualité perçue
• revues de fin de phase (fin de spécification, fin de design…), SOI
• suivi des actions qualités
Environnement technique : C, Tcl, SCADE-KCG, Reqtify, Python, Notepad++, Beyond Compare, Word, svn, cygwin, winscp, putty, Notepad++, Word, Synergy 6.5, Synergy 7.1, interpréteur python, Windows, Solaris, CPIOM & Baie RBCU (PPC 750), Station Sun, Windows XP SP1, DO178B - DAL A.
Spacebel
- Stagiaire
2010 - 2010
Des outils développés en interne permettent d’observer finement des paramètres tels que les temps d’exécution ou les variations de la pile et ainsi profiler une exécution ou analyser l’ordonnançabilité du logiciel. D’autres outils permettent entre autres la génération automatique de documentation et rapports de test. Le stage proposé consiste à consolider les outils existant, les améliorer et les compléter au besoin. Il se situe donc dans une filière d’ingénierie logicielle temps réel.
Environment technique : C, C++ , Python, Tcl, RTF (MS Word), gcc, RTEMS (RTOS certifié), cygwin, VMware, Linux (Ubuntu, Redhat, Suse), Microprocesseur SPARC - ERC32 et Leon 2 FT.
