| Accueil | . | Publications | . | Présentations | . | Logiciels | . | Sujets de stages | . | Cours | . | Awards |
Je m'intéresse à la programmation des systèmes temps-réel embarqués. En particulier, j'aime beaucoup les langages synchrones comme Esterel, Lustre et Signal. Récemment, cela m'a amené à considérer les systèmes robotiques embarqués, qui sont un cas particulier des systèmes temps-réel embarqués. En ce moment, je suis impliqué dans plusieurs projets de recherche, parmis lesquels il y a :
Un projet sur la tolérance aux fautes, avec des développements récents sur des heuristiques bi-critères (fiabilité et chemin critique) et sur la construction automatique de systèmes tolérants aux fautes grâce à des techniques de synthèse de contrôleurs discrets.
Une ACI sur la programmation par composants.
Un projet de preuve de bisimulation par systèmes d'inférence.
Enfin, j'ai co-encadré plusieurs étudiants en thèse : Laure France sur la simulation graphique de robots bipèdes, Christophe Le Gal sur la génération de plans et la synthèse de programmes, Hamoudi Kalla sur la tolérance aux fautes dans les systèmes réactifs, répartis et embarqués (en cours), et Gwenaël Delaval sur l'ordre supérieur dynamique en programmation synchrone (en cours). J'ai encadré également plusieurs postdocs : Mihaela Sighireanu et Catalin Dima sur la tolérance aux fautes pour les systèmes répartis, Emil Dumitrescu sur la synthèse de contrôleurs tolérants aux fautes, ainsi que Tolga Ayav sur la programmation par aspects pour systèmes tolérants aux fautes (en cours).