Expérience professionnelle
03/2013-2013 (8 mois) Ausy pour Thales Avionics (Vélizy)
Développement des drivers de l’OS MACS2 de l’Airbus A350. Développement et la validation d'un système d'exploitation pour un calculateur IMA dans un environnement DO-178B DAL A en vue d’une certification en SOI3.
Réalisations :
- Spécification et vérifications des exigences de haut niveau
- Ecriture et vérifications des procédures de tests
- Correction de faits techniques
Environnement :
Systèmes : Windows XP / Linux
Langages : C, assembleur
Outils : Clearcase, Clearquest, DOORS, RTRT (Rational Test Real Time)
Méthodologies : Cycle en V, norme DO-178B DAL-A
07/2012-2013 (10 mois) Ausy pour Sagem Defense et securité (Massy Palaiseau)
Dans le cadre de la conception du calculateur de bord d’un moteur d’avion Silvercrest, l’entreprise Sagem est chargée de la réalisation et des tests de la carte électronique. L’objectif de la mission a été l’écriture de documentation concernant la partie logicielle et test du calculateur embarqué.
Réalisations :
- Rédaction de documentation concernant la partie logicielle (SRD, SIRD, SDD)
- Tests PSW (Platform Software)
Ecriture de test case et de procédure basée sur l’utilisation du logiciel TestStand afin de créer des séquences de test permettant de vérifier de façon automatique les différentes fonctionnalités du calculateur.
- Tests BSW (Boot Software)
Ecriture de test case et de procédure basée sur l’utilisation de scripts Trace32 permettant de tester le comportement du calculateur en phase de démarrage (lancement de services, configuration de l’interface, initialisation des registres et mémoire …).
- Application de la norme DO-178B
Utilisation de la méthodologie GT44 sur la partie ascendante du cycle en V : codage explicite, relecture qualité, traçabilité, validation des méthodes de test…
- Rédaction des résultats de test
Bilan :
• Environ 140 tests livrés
Environnement :
Système : Windows Seven
Langages : C, assembleur
Outils : Trace32, Teststand (de NI Instruments), TortoiseSVN.
Norme : DO-178B niveau A et Méthodologie GT44
03/2011-2012 (1 an et 3 mois) Ausy pour Sagem Defense et securité (Eragny)
Arrivant en fin de cycle en V dans le cadre du projet GADIRS A400M (avion de transport militaire Airbus), le but a été la finalisation de certains points critique en vue d’une certification DO178-B DAL A du SW IR (Inertial Reference) appartenant au système GADIRS, centrale inertielle de l’A400M. Les activités étaient d’inspecter, valider, corriger et dérouler les tests d’intégration du logiciel GADIRS IR.
- Ecriture, inspection et correction de « test case » par script (C manuel).
Création de la quasi-totalité des tests C manuel sous RTRT de la version L4.1, L4.2 de l’IR.
Formation au nouveau arrivant de la stratégie des tests, des règles d’inspections, ainsi que de RTRT et Scilab.
- Ecriture, inspection et correction de « test case » par analyse.
- Ecriture et inspection de documentation concernant l’installation de l’environnement de test.
- Inspection et correction de la base de données DOORS concernant « le design » et « les tests C manuel».
Environnement :
Système : Windows XP
Langages : C, RTRT (basé sur le langage C), Scilab
Outils : - Gestion des exigences : Doors
- Gestion de configuration : Synergy & Change
- Outil de test : RTRT (Rational Test Real Time)
Norme : DO178-B
2010 (6 mois) eVe (Emulation Vérification Engineering)
Il s'agit d'instrumenter le code des outils de eVe afin de déterminer en fonction des modifications de code apportées par les équipes de développement quels sont les tests QA qui doivent être lancés et tester au mieux les fonctionnalités impactées par ces changements. La solution proposée devra tenir compte des besoins de l'équipe qualité ainsi que des contraintes de performances.
- Étude des besoins de l’équipe de Q.A
- Réalisation du planning de spécification, de réalisation et de tests
-Spécification des trois outils à développer
1/ Étude de l’instrumenteur qui utilisera un parseur écrit en C++.
2/ Étude algorithmique de l’extracteur qui sera un outil écrit en python.
3/ Étude de la base de données CVS pour savoir quelles sont les fonctions qui ont été modifiées dernièrement sur la release.
-Réalisation des différents outils
Contact avec les différentes équipes de développement lors de problème de performance des outils face au flot de compilation, et proposition de solution.
-Validation des différents outils
1/ Validation de l’outil d’instrumentation
2/ Validation de l’outil d’extraction et d’exploitation CVS
3/ Validation de la totalité des outils
-Écriture de la documentation des outils pour d’éventuelle optimisation du code
Environnement :
Matériel : Zebu (eVe)
Système : Linux
Langages : C/C++, Python
Outils : Zebu (compilation et simulation), Valgrind, gdb
2009 (4 mois) Laboratoire de Paris VI (LIP6)
Le but de ce projet est de partir d’une description dans un langage structurel (VERILOG, VHDL) et de la traduire directement dans le modèle pour après avoir accès à toutes les fonctionnalités définies dans stratus.
- Phase de spécification
- Étude des langages VERILOG, VHDL structurel
- Étude du modèle de données de stratus
- Écriture de la BNF (grammaire) des deux langages
- Phase de réalisation
- Analyseur lexical (VHDL et Verilog) en python
- Analyseur syntaxique (VHDL et Verilog) en python
- Procédure de recette
- Les patterns nous ont été donnés, les tests ont été réalisés sur trois composants représentatifs.
Environnement :
Système : Linux
Langages : Python, vhdl, verilog, stratus (LIP6)
FORMATION
2012 Habilitation Électrique (Socotec)
2010 Master 2
Spécialisé en Système Electronique, Système Informatique (Université Pierre et Marie Curie)
2008 Licence générale
Spécialisé en Informatique (Université Pierre et Marie Curie)
LANGUES
Anglais Technique (Lu, écrit et parlé).
Espagnol Scolaire
Vietnamien Courant
COMPETENCES
- Testeur de logiciel et de matériel
- Développeur objet et embarqué
OUTILS ET METHODES
Langages (Software) Visual Basic, C#, C/C++, Assembleur, Java (JDK), Shell, OcamL, Python, ADA, Borland C++
Langages (Hardware) VHDL, Verilog, SystemC, SystemC-AMS
Systèmes Linux (Fedora Core / Scientific Linux), Windows 7
Outils Spice, Eldo, Matlab, Scilab, RTRT, Trace32, Testand
Méthodologies Cycle en V, DO-178B niveau A, B, C et E
Web PHP, XML, XSLT, Script CGI, HTML, MySQL, Oracle
Gestion de versions CVS, Synergy, Perforce, TortoiseSVN, Detrack, Clearcase, Clearquest
Gestion des exigences Doors