- Mars 2014 - Mai 2014
-
Sopra Group pour Airbus. Toulouse.
Test du calculateur secondaire de commande de
vol
(A350) (CMM niveau 3, DO-178B niveau A, Assembleur Sharc, intégration,
validation, JScript, Perl, Python, C).
- Fév. 2014 - Fév. 2014
-
Sopra Espagne pour Fermax. Valencia, Espagne.
Avant vente d’un projet d’interphone VoIP,
conseil à Sopra Valencia (VoIP, microcontroleur Microchip PIC32, temps
réel, C).
- Oct. 2013 - Mars 2014
-
Sopra Group pour Thales Avionics. Toulouse
Générateur qualifié de loads ARINC 665
- Conception et codage en C.
- Système générique de formatage de données (description symbolique
des formats de sortie et des relations entre les données, formatage et
génération automatique).
- Sept. 2012 - Nov. 2013
-
Sopra Group pour Thales Optronique. Élancourt.
Banc de test temps réel modulaire (conception,
codage, tests)
- noyau temps réel en C++ (Windows et RTX)
- modulaire et configurable en Python
(Windows, RTX, C++, interpréteur Python
embarqué)
- Avr. 2012 - Oct. 2012
-
Sopra Group pour Liebherr-Aerospace. Toulouse
Simulateur d’Onboard Maintenance System (OMS)
(DO-178B niveau B) :
- conception, développement et tests d’un OMS
- interface graphique permettant à un utilisateur de piloter la
fonction BITE d’un LRU
- noyau implémentant le protocole ARINC 604 sur une liaison ARINC
429
- environnement de test scriptable en Python
- tests du protocole ARINC 604
- simulation de la fonction BITE d’un LRU pour le développement et la
validation de l’environnement de test
- projet documentaire Sphinx et génération automatisée de la
conception, des matrices de traçabilité et des rapports de tests
(Python, C, documentation en reStructuredText
avec Sphinx, SVN, génération de documentation automatisée)
- Jan. 2011 - Sept. 2012
-
Sopra Group pour Airbus. Toulouse.
Développement et test du calculateur secondaire
de commande de vol
(A350) (CMM niveau 3, DO-178B niveau A, Assembleur Sharc, tests
unitaires, intégration, validation, JScript, Perl, Python, C).
Simulation de microprocesseur (mesure de temps
d’exécution, mesure
de l’utilisation des piles, Python, Parcours optimisé de graphes)
- Juin 2008 - Jan. 2011
-
Sopra Group pour Thales Avionics. Toulouse/Paris.
Développement et test du calculateur secondaire
de commande de vol
(A320) (DO-178B level A and D, MPC5554, Assembly, C and ADA,
Specifications, Design, Code).
- Mars 2007 - Oct. 2008
-
Sopra Group pour Airbus. Toulouse.
Spécification d’un système de communication
Bord/Sol pour Airbus
(Wifi, GSM, VPN, …).
- Jan. 2007 - Fév. 2007
-
Sopra Group pour Airbus. Toulouse.
Tests unitaires pour un calculateur embarqué
Airbus (A400M),
formation d’une équipe en Inde.
- Jan. 2007 - Juil. 2007
-
Sopra Group. Toulouse.
Environnement de développement Open Source pour
les systèmes embarqués,
étude de Sûreté de Fonctionnement. | Participation au colloque AESE à
l’occasion du centenaire de l’ENSEEIHT.
- Nov. 2006 - Déc. 2006
-
Sopra Group pour Airbus. Toulouse.
Calculateur d’alarmes (A400M), normes de codage,
tests unitaires
(DO-178B, niveau B).
- Mars 2002 - Oct. 2006
-
Sopra Group pour Airbus. Toulouse.
Développement et test du calculateur secondaire
de commande de vol
(A380) (CMM niveau 3, DO-178B niveau A, Assembleur Sharc, tests
unitaires, intégration, validation, TCL, Perl, Python, C).
Simulation de microprocesseur (mesure de temps
d’exécution, mesure
de l’utilisation des piles, Python, Parcours optimisé de graphes)
- Oct. 2001 - Mars 2002
-
Sopra Group pour Airbus. Toulouse.
Validation du calculateur primaire de commande
de vol (A330/340)
(DO-178B, Niveau A, Assembleur Intel).
- Mai 2001 - Oct. 2001
-
Sopra Group pour Airbus. Toulouse.
Remise aux normes d’un calculateur d’alarmes
(A340)
en vue d’une certification (DO-178, Assembleur Intel, PL/M, ADA) :
remise à niveau du cycle de vie du logiciel.
- Juil. 1999 - Mai 2001
-
Sopra Group pour les Laboratoires Pierre Fabre.
Castres.
Communication entre plusieurs bases de données
et PC distants
(Unix, Shell, Perl, C).
- Oct. 1998 - Juil. 1999
-
Sopra Group pour CNRS. Labège.
Corrections et évolutions de l’application de
Gestion Comptable
et Financière du CNRS.
- 1997 - 1998
-
ENSEEIHT-IRIT. Toulouse.
Stage de DEA et 3ème année ENSEEIHT
(modélisation du processus cognitif du dialogue (Prolog, actes de
langage, …).
- 1997 - 1998
-
ENSEEIHT - 3ème année
Stage ENSEEIHT / DEA (Simulation du dialogue
humain).
- 1996 - 1997
-
ENSEEIHT - 2ème année
Compilation d’un sous-ensemble du langage
C,
exécution dans une machine virtuelle (Eiffel, C)
Conception et programmation orientée objet
(Eiffel)
Systèmes expert, logique des prédicats
(Prolog)
Systèmes opératoires, client/serveur (serveur
HTTP) (Unix, C)
Hardware (calculatrice, pipeline, …)
(VHDL)
- 1995 - 1996
-
ENSEEIHT - 1ère année
Hardware, conception de microprocesseurs
(biprocesseurs)
et simulation en C++ (à titre personnel)
Cryptographie (C)
Systèmes experts (Lisp)
- Taxia
-
Calculateurs embarqués dans un taxi
Programmation évènementielle, IHM, C++,
assembleur.
- Hardware, simulation
-
Simulation d’un biprocesseur (voir 1ère année ENSEEIHT)
(C++, HP48), Machine virtuelle et désassembleur
Schip-48 (C).