Mes compétences :
Test unitaire
V&V
Développeur
DO178
Entreprises
Alten
- Consultant
Boulogne-Billancourt2012 - maintenantSur 2 projets aéronautique DO178-B DALA et DALC:
Test unitaire, vérification et validation.
UM2 IUT Geii
- Enseignant vacataire
2008 - 2010Enseignement en Travaux pratiques pour les IUT 1er années en informatique industrielle :
Électronique Numérique et Synthèse Logique : Logique combinatoire - composants discrets- Logique séquentielle - implémentation VHDL - QUARTUS
Algorithme et Programmation : Langage C et visual C
Architecture des systèmes à processeur : Microcontroleur PIC18 - implémentation C et assembleur - MPLAB
Commande des systèmes Industriels : Automate programmable Grafcet et Ladder -
UNITY
UM2 Master SAEI
- Enseignant vacataire
2008 - 2008Enseignement en travaux pour Master 2 SAEI:
Conception et validation d'architectures de contrôle :
Analyse formelle - Modélisation à l'aide des réseaux de Petri
Simulation et analyse avec Tina
Mise en œuvre séquentielle (en langage C)
Lirmm
- Doctorant robotique
2007 - 2011Proposition d'une méthode de conception et amélioration des architectures logicielles de contrôle.
Réalisation d'un démonstrateur à partir d'une architecture de contrôle temps réel (linux RTAI) interne au laboratoire de recherche. Développement d'un contrôleur de robot mobile pour valider les concepts proposés en utilisant :
- des algorithmes de contrôle de robot mobile tel : suivi de chemin évitement d'obstacle, planification de chemin.
- des fonction distantes téléopération et supervision du robot.
