- Mar. 2014 - May 2014
-
Sopra Group for Airbus. Toulouse.
Flight Control SECondary Computer test (A350)
(CMM level 3,
DO-178B level A, Sharc Assembly, integration, validation, JScript, Perl,
Python, C).
- Feb. 2014 - Feb. 2014
-
Sopra Spain for Fermax. Valencia, Spain.
Study for a VoIP intercom with Sopra Valencia
(VoIP, Microchip IC32 microcontroler, real-time, C).
- Oct. 2013 - Mar. 2014
-
Sopra Group for Thales Avionics. Toulouse
Qualified ARINC 665 load generator
- Design and code (C)
- Generic data formating system (symbolic description of data formats
and their relationships, automatic formating and generation).
- Sept. 2012 - Nov. 2013
-
Sopra Group for Thales Optronique. Élancourt.
Real-time modular test bench (design, code,
tests)
- real-time kernel in C++ (Windows and RTX)
- modular and configurable by Python scripts
(Windows, RTX, C++, embedded Python
interpreter)
- Apr. 2012 - Oct. 2012
-
Sopra Group for Liebherr-Aerospace. Toulouse
Onboard Maintenance System (OMS) simulator
(DO-178B niveau B):
- design, code and test of an OMS
- graphic user interface to drive the BITE function of a LRU
- ARINC 604 protocol over an ARINC 429 link
- Python scriptable test environment
- ARINC 604 protocol test
- BITE LRU simulation (to test and validate the test environment)
- Sphinx documentation project, automatic documentation generation
(design, traceability matrices, test reports)
(Python, C, reStructuredText / Sphinx
documentation, SVN, automatic documentation generation)
- Jan. 2011 - Sept. 2012
-
Sopra Group for Airbus. Toulouse.
Flight Control SECondary Computer (A350) (CMM
level 3,
DO-178B level A, Sharc Assembly, unit testing, integration, validation,
JScript, Perl, Python, C, DSP simulation for performance and robustness
validation).
Microprocessor simulation (time and stack usage
measure, Python,
Optimized graph searched)
- Jun. 2008 - Jan. 2011
-
Sopra Group for Thales Avionics. Toulouse/Paris.
A320 flight control secondary computer
redesign
(DO-178B level A and D, MPC5554, Assembly, C and ADA, Specifications,
Design, Code).
- Mar. 2007 - Oct. 2008
-
Sopra Group for Airbus. Toulouse.
Specification of an embedded Onboard/Ground
communication system
for Airbus (Wifi, GSM, VPN, …).
- Jan. 2007 - Feb. 2007
-
Sopra Group for Airbus. Toulouse.
Unit testing for an Airbus embedded calculator
(A400M),
training of a testing team in India.
- Jan. 2007 - Jul. 2007
-
Sopra Group. Toulouse.
TOPCASED: Toolkit in OPen-source for Critical
Application
and SystEms Development, Safety study. Contribution to the | AESE
conference for the centenary of ENSEEIHT.
- Nov. 2006 - Dec. 2006
-
Sopra Group for Airbus. Toulouse.
Flight Warning Computer (A400M),
coding rules and unit testing (DO-178B, Level B).
- Mar. 2002 - Oct. 2006
-
Sopra Group for Airbus. Toulouse.
Flight Control SECondary Computer (A380) (CMM
level 3,
DO-178B level A, Sharc Assembly, unit testing, integration, validation,
TCL, Perl, Python, C, DSP simulation for performance and robustness
validation).
Microprocessor simulation (time and stack usage
measure, Python,
Optimized graph searched)
- Oct. 2001 - Mar. 2002
-
Sopra Group for Airbus. Toulouse.
Flight Control Primary Computer (A330/340)
Validation
(DO-178B, Level A, Intel Assembly).
- May 2001 - Oct. 2001
-
Sopra Group for Airbus. Toulouse.
Update of the Flight Warning System (A340) for a
certification,
update of the software life cycle (DO-178, Intel Assembly, PL/M, ADA).
- Jul. 1999 - May 2001
-
Sopra Group for Pierre Fabre Laboratories. Castres.
Communication between data bases and distant PC
(Unix, Shell, Perl, C).
- Oct. 1998 - Jul. 1999
-
Sopra Group for CNRS. Labège.
Correction and evolution of the “Accounting and
Financial Management”
application of the CNRS.
- 1997 - 1998
-
ENSEEIHT-IRIT. Toulouse.
DEA training period and ENSEEIHT 3rd year:
Modeling of the
cognitive process of dialogue (Prolog, Speech Acts, …).
- 1997 - 1998
-
ENSEEIHT - 3rd year Student
ENSEEIHT/DEA training period (human dialogue
simulation).
- 1996 - 1997
-
ENSEEIHT - 2nd year Student
Compilation of a subset of C-language, execution
in a virtual machine
(Eiffel, C)
Object oriented design and programmation
(Eiffel)
Expert Systems, Predicate Logic (Prolog)
Operating systems, client/server (HTTP server)
(Unix, C)
Hardware (calculator, pipeline, …) (VHDL)
- 1995 - 1996
-
ENSEEIHT - 1st year Student
Hardware, microprocessor (and biprocessor)
design and simulation
in C++ (as a personal project)
Cryptography (C)
Expert Systems (Lisp)
- Taxia
-
Embedded computers in a taxi
Event programming, Gui, C++, assembly.
- Hardware, simulation
-
Biprocessor simulation (see 1st year)
(C++, HP48), Schip-48 virtual machine and
disassembler (C)