Thomas Vergnaud

Mes recherches concernent la modélisation des applications en AADL. Elles se focalisent plus particulièrement sur la production automatique d'applications. Elles sont à l'origine du projet Ocarina, qui est le premier compilateur pour AADL. Il permet de produire automatiquement le code compilable d'une application décrite en AADL.

Des transparents pour un cours de deuxième année de Master à l'université Pierre & Marie Curie sont disponibles, ainsi que l'énoncé d'une séance de travaux pratiques. Vous pouvez également récupérer autre cours, un peu plus complet.

My work is focused on the modeling of applications using the AADL in order to automatically generate them. Some of the results are implemented in Ocarina, the first compiler for the AADL. Ocarina can generate compilable source code from AADL descriptions.

Une documentation sur Emacs, et une autre sur make.

Pour ceux que ça interesse, voici une recette de cuisine, une petite histoire, et une autre petite histoire similaire. Il y a aussi des considérations sur l'évolution d'un problème de mathématiques.