Benoît VABRE
Né le 03 février 1984
Tel. : 06 78 80 90 51
e-mail : benoit.vabre@gmail.com
5 bis rue de chatel
63200 PROMPSAT
Ingénieur Validation
Système Critique
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) :
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
COMPETENCES INFORMATIQUES
Développement : VHDL, ADA, SystemC, C/C++, Python, 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, EN50128, cycle en V, UML
Réseaux : Profibus, MVB, Modbus, ARINC A429, AFDX, TCP/IP, Ethernet
Outil : RTRT, Eclipse, Codewarrior, SUMO (Airbus), Clearcase, Gali/Gala (génération de
code embarqué), Tivoli, GTEM
Systèmes avioniques, spatiaux et ferroviaire :
Système de signalisation CBTC
Système d’observation terrestre HELIOS 2B,
gateway DVB-RCS et DVB-R2.
NSS (avionics),
Calculateur avionique FMGC/FAC/FMGEC,
BITE (Built-In Test Equipment),