vabre benoit

Benoît VABRE
Né le 03 février 1984
Tel. : 06 78 80 90 51
e-mail : [email protected]
35, rue de la solidarité
31830 Plaisance du Touch
Ingénieur développement et
validation logiciel embarqué
FORMATIONS
2007 : Master 2 pro C.A.M.S.I. à Toulouse (Concepteur en Architecture de Machines et
Systèmes Informatiques : partenariat ENSEEIHT, INSA et UPS)
 Développement temps réel embarqué, architecture machine, pilote Linux
 Sûreté de fonctionnement
2006 : Master 1 informatique (maîtrise) à Toulouse (mention A.B. : 15ème/ 200)
2005 : Troisième année de Licence informatique (MIA) à Albi (mention B.)
2003-2004 : DUT informatique à Rodez option GI (génie logiciel)
2002 : Bac S-SI au lycée Louis Rascol à Albi
2012 Formation Linux embarqué par « Free Electron » (40h) :
 compilation noyau linux et cross-compiling sur cible ARM (toolchain)
 installation d’un bootloaders (u-boot)
 chargement des composants open source (cots)
 manipulation d’un système de fichier block et nand (flash)
 développement Linux temps réel via Xénomaï et RTAI
2011 Formation Agile (scrum) par un intervenant Ausy (7h) :
 Présentation générale et concrète des méthodes agiles (notamment scrum)
COMPETENCES INFORMATIQUES
Développement : C/C++, VHDL, ADA, SystemC, JAVA, CORBA, Lustre, Basic, Ocaml,
ASM, VxWorks
Base de donnée : SQL, PL/SQL, PHP, MySQL, Oracle, Access, UML, Merise
Environnement logiciel : Linux, Unix, VxWorks, RTAI, Cadence, Synopsys, CodeWarrior
Méthodologie : DO178B DAL A, cycle en V, UML
Réseaux : ARINC A429, AFDX, TCP/IP, Ethernet
Outil : Gali/Gala (génération de code embarqué Thalès), RTRT, Eclipse, Codewarrior,
SUMO (Airbus), Clearcase, , Tivoli, GTEM
Systèmes avioniques ou spatiaux : calculateur FMGC/FAC/FMGEC, BITE (Built-In Test
Equipment), NSS (avionics), système d’observation terrestre HELIOS 2B, gateway DVBRCS et DVB-R2.
Page 1 sur 4
EXPÉRIENCES PROFESSIONNELLE
1/2012 – à aujourd’hui : AUSY in situ THALES AVIONICS
Maintenance des logiciels embarqués critiques DO178B DAL A sur calculateurs
avioniques
 Validation du standard I12 du FMGC SA - Intégration des TCAS « système
anticollision »
 Ecriture de tests automatiques pour le calculateur FMGEC LR selon la
spécification Airbus BDS
 Ecriture des tests niveau 1 (blue label) du standard B621 du calculateur FAC
 Portage des tests de « recoupement » pour FMGC pour les nouveaux bancs
IMB :
- Automatisation de l’exécution des tests de validation
- Développement et validation des tests sous RTRT
Environnement: calculateur FMGC - FAC - FMGEC, Unix
Matériel : Simulateur avionique, banc d’essai boucle ouverte et boucle fermée,
analyseur logique sur processeur 80286,
Langage : C, ASM
Outil : clearcase, RTRT, Gala, XADELE, IDEM (espion des bus ARINC)
08/2011 - 11/2011 : AUSY in situ THALES ALENIA SPACE
Participation à l'AIV et maintenance du produit a9780 sous la norme DVB-RCS et
DVB-R2.
 Etude des équipements RF Rx et Tx (modulateurs, robustesse du signal),
 Traitement du signal en bande L (1Ghz),
 QoS ATM, étude des trames MPEG/MPE, IP, ATM,
 Adaptation de la modulation du signal en fonction du temps météo (indice
Es/No) pour le signal TX ou de la porteuse pour le signal RX.
Environnement: Gateway (intermédiaire entre terminaux et réseau terrestre),
serveurs et switchs redondants, Linux (Débian), Windows XP, Postgre
Matériel : Serveurs Dell, routeurs et switchs JUNIPER, démodulateur Thales et
STM
Langage : C, scripts shell, SQL
Outil : GTEM
Page 2 sur 4
1/2010 – 07/2011: AUSY in situ ASTRIUM (HELIOS)
AIV sur la partie CSU (segment sol) de la famille des satellites Helios (observation
terrestre).
La CSU regroupe un ensemble d’applications permettant la mise en œuvre et
l’utilisation des satellites Helios.
Etant donnée la caractérisation militaire du projet, ce dernier est classifié
confidentiel défense.
 Définition de la stratégie de validation sur les composants systèmes (DUT,
MNS, CSO),
 Rédaction des procédures, d’essais,
 Mise en configuration des plateformes d’essai,
 Déroulement des tests (planification d’une journée mission du satellite),
 Recherche d’anomalies,
 Rédaction de rapports d’essais et de fiches d’anomalies,
 Présentation des rapports d’essais à ASTRIUM.
Environnement: Unix HP True 64, Linux, VMWare, Tivoli, Oracle 8i
Langage : C++, scripts Bash et shell, SQL
Outil : TOAD
10/2009 – 12/2009 : AUSY pour THALES AVIONICS
Evolution du calculateur FCU de manière à intégrer les cartes des aéroports.
Ce projet respecte la norme DO178B-A.
Activités menées (cycle en V) :
 Créations des documents de conceptions (étude de la solution technique à
partir des spécifications Airbus),
 Développement en assembleur des différentes fonctions à modifier,
 Créations des tests unitaires,
 Mise en place de revues de pairs (norme DO).
Environnement : UNIX
Matériel : calculateur FCU
Langage : Assembleur, Shell
Outil : Gali et Gala
Page 3 sur 4
08/2007 - 10/2009 : AUSY in situ Airbus (CMS A400M)
Intégration du CMS (Centralized Maintenance System) pour le projet A400M sur
une plate-forme NSS (noyau linux + sur-couche applicative dédiée).
Environnement avionique : bus ARINC A429 et AFDX vers BITE StdA / StdB
Environnement simulation : mise en place du CMS sur plate-forme représentative
(NSSTool) + simulateur (mode interactif/normal) des BITEs
Documentations techniques : ABD100, ICD
Principales activités :
 Production d’un plan de tests fonctionnels à l’aide des spécifications
fonctionnelles,
 Debogage : résolution de problèmes lors de l’intégration via Eclipse pour le
code source de l’application (java), problèmes shell (lancement, arrêt, watchdog),
 Création d’outils afin d’automatiser certaines tâches (installation de
l’application CMS (java), déploiement de l’environnement de debogage (java),
monitoring, …)
 Création d’un outil en shell de génération de scénarios de vol,
 Plan de test pour le recettage fonctionnel, test de robustesse
 Profiling du code java (analyse statique) via l’outil « xradar ».
03/2007 – 08/2007 : stage au CNRS-LAAS
Stage au CNRS (groupe sûreté de fonctionnement) pour le compte de Renault et
Freescale pour remplacer le processeur Star12X par un processeur type PowerPC
(MPC5554). Etude dans un environnement critique, le temps maximum d’exécution
(WCET) afin d’allouer correctement les ressources et garantir l’exécution dans les
tranches de temps imparties. Ce temps est d’autant plus difficile à déterminé vu la
complexité croissante des nouveaux processeurs.
Voici les différentes étapes validées :
 étude de l’architecture des processeurs (gain des caches, du prédicteur de
branchement, latence mémoire etc…),
 étude et chargement des benchmarks EEMBC pour l’automobile ainsi que de
l’application de la climatisation des voitures Renault,
 implémentation du micro-noyau temps réel pour l’automobile : OSEK.
Environnement : compilateur CodeWarrior (cross-Compiling), WinIdea
INTÉRÊTS
Passionné de musique, batteur dans un groupe de musique.
Webmaster d’un site Internet (www.guideturf.fr) développé en PHP/MYSQL.
Modélisme (membre du club de modélisme d’Airbus)
Page 4 sur 4