Post-doctorat

Mon travail précédent fut un post-doctorat qui se déroulait dans l'équipe DEDALE au LORIA, à Nancy. La première année fut consacrée à la fabrication d'un système sûr sur la base de composants fournis. La seconde année fut consacrée à la continuation de ces travaux sur une étude de cas de platooning.

Dans le premier cas, mes travaux se trouvaient dans la lignée des travaux de l'équipe. Des composants fournis sont considérés comme des boîtes noires dotées d'interfaces (fournies et/ou requises), et leur rassemblement dans un système donné est basé sur la notion d'adaptateurs. Ces adaptateurs sont développés comme des raffinements où l'on exprime progressivement l'interface requise d'un composant comme l'interface fournie d'un autre composant. Le raffinement utilisé est celui de la méthode B.

Dans le deuxième cas, l'étude de cas proposait deux problématiques : d'une part la modélisation compositionnelle d'un problème réaliste situé dans le domaine des transports, ce qui constituait une intéressante mise en pratique des travaux de la première année de post-doctorat. La seconde problématique couvrait la modélisation formelle de ce système de type multi-agents situés afin de garantir certaines propriétés sur le comportement émergent du système, comme l'absence de collision. Si le temps n'a pas permis de pousser les réflexions aussi loin que j'aurais aimé, les perspectives immédiates laissaient à penser que les outils de modélisation formelle ont atteint une maturité suffisante pour la spécification de propriétés complexes car basées sur des mathématiques réalistes.

Thèse et travaux antérieurs

Vous pourrez trouver une description détaillée de ma thèse en français et en anglais avec des liens vers les implémentations associées.

Mes travaux encore antérieurs à cela ont surtout trait à la méthode B et se retrouvent pour la plupart sur le site du projet BRILLANT.