Sujets de recherche

Qui suis-je ?

Chercheur à l'Office National d'Etudes et de Recherches Aérospatiales (ONERA), habilité à diriger des recherches, je mène des travaux dans le cadre de projets nationaux et internationaux avec les acteurs du secteur aéronautique, comme Airbus, mais aussi avec les autorités de certification (DGA-TA, DGAC).

Mes domaines de recherches sont centrés autour de l’ingénierie des exigences, la modélisation de systèmes et les méthodes formelles. Plus précisément, je cherche à définir des cadres soit à base de méthodes formelles, soit à base de modèles (ingénierie systèmes), permettant de définir, de valider et de certifier des systèmes. Pour cela, j'utilise aussi bien des méthodes formelles (model checking / SMT) que des approches orientées modèles et argumentation (UML / SysML).

Précédemment, j'ai été consultant auprès d'acteurs majeurs de l'industrie sur des problématiques de modélisation métier et d'algorithmiques dans les secteurs du transport urbain et bancaire. Après avoir réalisé un système expert destiné au diagnostic et à la cotation des entreprises, j'ai conçu un système d'aide à la décision pour la gestion des systèmes de transport en commun (RATP). J'ai effectué mon doctorat en Intelligence Artificielle dans les domaines de la planification et de la logique à l'Institut de Recherche en Informatique de Toulouse (IRITlink).

J'enseigne le SysML et la conception et la programmation orientées objet (Java) à l'ISAE SupAéro.

Projets

  • 2016 - 2019 PHYLOGlink (DGAC - Direction générale de l'Aviation civile) Certification de fonctions logicielles embarquées sur des calculateurs de type multi ou many-core (systèmes avioniques civils)
  • 2017 - 2019 INSTAT (DGAC) Dresser un pont entre la conception et la fabrication dans le cadre de la fabrication d'avions
  • 2017 Simultaneous Engineering: travail avec les Archiectes Avion d'Airbus pour permettre à l'architecte d'avoir une vue globale de la conception et de la fabrication de l'avion et de soutenir la conception simultanée du produit et de son système de fabrication
  • 2014 - 2016 TOICA (European project FP7) Thermal Overall Integrated Conception of Aircrafts
  • 2011 - 2015 Projet P.
  • 2011 - 2015 VUExCoSSI groupe de travail (RNSC et GDR) : Vision Utilisateur & Expression de la Complexité au sein des SI
  • 2009 - 2012 CRESCENDO (Projet européen FP7) Collaborative and Robust Engineering using Simulation Capability Enabling Next Design Optimisation
  • 2011 OPEES Open Platform for the Engineering of Embedded Systems
  • 2009 PAM Platform architecture management dans le cadre du partenariat Airsys (Architecture et ingénierie des systèmes, dans le domaine des systèmes pour l'aéronautique), coopération entre Airbus, le LAAS-CNRS, l'ONERA et l'IRIT.
  • 2002 - 2003 Van Gogh Logical Architectures for autonomous agents and planning, projet Européen entre l'Institut de Recherche en Informatique de Toulouse et la Vrije Universiteit d'Amsterdam.
  • 2000 - 2002 PROCOP. Les topiques en logique et dans le dialogue.

Enseignements

Quelques Publications