Vabre benoit

Benoît VABRE

Né le 03 février 1984

Tel. : [phone] e-mail : [e-mail]

5bis rue de chatel

63200 PROMPSAT
Ingénieur Validation

Systèmes Critiques

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

2005 : Licence informatique (MIA) à Albi

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)


COMPETENCES INFORMATIQUES

Développement logiciel : VHDL, ADA, C/C++, Python, JAVA, Lustre, Basic
Validation : Plateforme National Instrument PXI, RTRT,
Méthodologie : UML, EN50128, DO178B DAL A, cycle en V, Scrum
Outil : Team Center, Eclipse, Codewarrior, SUMO (Airbus), Clearcase, CVS, Tivoli
Environnement logiciel : Linux, Unix, VxWorks, RTAI, Cadence, Synopsys, CodeWarrior
Réseaux : Profibus, MVB, RS-485/422/232, ARINC A429, AFDX, TCP/IP, Ethernet

Systèmes : Equipement ferroviaire CBTC, NSS (avionics), calculateur aéronautique FMGC/FAC/FMGEC, BITE (Built-In Test Equipment), système d’observation terrestre HELIOS 2B, gateway DVB-RCS et DVB-S2.

EXPÉRIENCES PROFESSIONNELLE

09/2013 à aujourd’hui : INTITEK in situ Ansaldo STS

Ingénieur Intégration système CBTC (ferroviaire)

• 
  Développement et intégration des logiciels embarqués SIL4 en C et ADA sur cible Coldfire 
  

• 
  Réalisation de scénarios de test (et IHM dédiée) permettant de valider le fonctionnement d’un système CBTC lors des tests de type (CEM, vibratoire, humidité) pour plusieurs projets :
  

- vérification du module de traitement des données capteur (odométrie),

- vérification des cartes MTOR (tout ou rien) garantissant l’information via un système complexe de « relais relus »,

- cycle de développement très court (travaux en autonomie, directement en contact avec l'utilisateur)

• 
  Développement de tests d’intégration cible : simulation de l’environnement ferroviaire (odométrie) via le développement de tests sous N.I. (langage C) afin de pouvoir tester chaque module électronique (fonction FPGA, ADC,etc…)
  

• 
  Support aux équipes du service production / manufacturing :
  

- installation des systèmes,

- évolution des scénarios de tests

• 
  Support lors des campagnes de tests de type (CEM, climatique)
  

- analyse d'un système complexe (prise en main des schémas de câblage du système, synoptiques, spécification)

- connaissance des interactions et communications entre les sous éléments (bus de terrain : MVB, profibus, CTODL )

- analyse de fichier de traces logiciel

- rapidité d'exécution et de prise de décision

Environnement: Unix, micro-noyau Linux

Réseau : MVB, Profibus, Modbus

Matériel : Simulateur de l’environnement ferroviaire (basé sur une machine N.I.), carte CCTE(4 blocs coldfire) / PMC (hébergeant un noyau linux) et MTOR (I/O discret sécurisé via une architecture de relai relu), sonde de programmation Xilinx

Langage : python, C, Ada, ASM

Outil : synergie, CVS, WhiteBox

01/2012 – 08/2013 : AUSY in situ THAV (Thales Avionics)

Validation et 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 de test de 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 (FM/FG), 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 THAS (Thales Alenia Space)

Participation à l'AIV (validation) et maintenance du produit a9780 sous la norme DVB-RCS et DVB-S2.

• 
  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, démodulateur Thales et STM

Langage : C, scripts shell, SQL

01/2010 – 07/2011: AUSY in situ Astrium

Validation fonctionnelle de 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,
  
• 
  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

10/2009 – 12/2009 : AUSY pour THAV (Thales Avionics)

Evolution du calculateur FCU de manière à intégrer les cartes des aéroports (projet OANS).

Ce projet respecte la norme DO178B-A.

Activités menées (cycle en V) :

• 
  A partir des spécifications, créations des documents de conceptions (étude de la solution technique),
  
• 
  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

08/2007 - 10/2009 : AUSY in situ Airbus (CMS A400M)

Intégration et validation du CMS (Centralized Maintenance System) pour le projet A400M sur une plate-forme NSS (noyau linux + sur-couche applicative dédiée).
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’Outil 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 ».
  

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
03/2007 – 08/2007 : stage au CNRS-LAAS
Stage au CNRS (groupe sûreté de fonctionnement) sur les impacts de changement de processeur (Star12X par 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

Webmaster d’un site Internet développé en PHP/MYSQL.

Modélisme (ancien membre du club de modélisme d’Airbus)

Passionné de musique, batteur dans un groupe de musique.