Sopra Usage of functional languages (Haskell,
OCaml, F#) to model real time embedded systems Genetic algorithms
applied to automatic unit test generation
Aug. 2015 - Jan. 2017
Sopra: real time simulation Airbus: real time
simulation for flight computers integrated to the global A380 simulator
(Simics, Power PC, Linux, AFDX)
Sept. 2014 - Jan. 2017
Sopra: Flight tests Airbus: Wi-Fi network
optimisation, Real time Linux OS, update of the acquisition and
analyzing system of the flight recorded data
Feb. 2014 Jan. 2015 - June 2015
Sopra: Experimentation with Microchip PIC32
Airbus: study of a real-time architecture for flight test data
acquisition modules (PIC32, clock synchronization) Sopra Spain,
Fermax (Valencia): Feasibility study of a VoIP intercom
Oct. 2013 - Mar. 2014
Sopra: Qualified ARINC 665 load generator Thales
Avionics: Design and code in C, Generic data formating system
Sept. 2012 - Aug. 2014
Sopra: Real-time modular test bench (configurable by
Python scripts) Thales Optronique: design, code and tests.
Real-time kernel in C++ (Windows, RTX), generic I/O modules,
configuration and behaviour of the kernel and modules in Python
(embedded interpretor)
Apr. 2012 - Oct. 2012
Sopra: Onboard Maintenance System (OMS) simulator,
DO-178B, Python Liebherr Aerospace: design, code and test of an OMS
(ARINC 604 simulator in Python, ARINC 429 interface), Python scriptable
test environment, LRU simulation for validation purpose, automatic
documentation generation in Python and reStructuredText (Sphinx, test
results, traceability)
May 2001 - June 2014
Sopra: real-time embedded software, D0-178B
Liebherr Aerospace: assisted unit test generation in Python for RTRT
Thales Avionics: A320 Flight Control computer, specification,
design, code, tests Airbus: A380 and A320 Flight Control computer,
specification, design, code, tests (France, training of an Indian team)
Airbus: microprocessor simulation (Python, graph, WCET computation,
stack analyzer) Airbus: safety studies
Oct. 1998 - May 2001
Sopra CNRS, Pierre Fabre Laboratories: databases
Education
1997 - 1998
ENSEEIHT - IRIT: Post Graduate Degree in Artificial
Intelligence Publication: Speech acts and dialog games (Colloque
Intelligence Artificielle et Complexité, Université Saint Denis, Paris
VIII)