MANDEL Louis

ongoing PhD project
Team : SPI
https://perso.lip6.fr/Louis.Mandel

Supervision : Marc POUZET

Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive

La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Des méthodes classiques pour programmer ces systèmes sont l'utilisation de bibliothèques de threads ou de programmation événementielle. Le but de ce travail est de proposer une alternative à ces méthodes. Notre approche est de fournir un langage de haut niveau intégrant des constructions de composition parallèle et de communication entre processus. Le fruit de cette approche est la création du langage ReactiveML, une extension de OCaml fondée sur le modèle réactif synchrone introduit par Frédéric Boussinot. Ce modèle reprend des principes du synchrone tels que la composition parallèle déterministe de processus et la communication par diffusion. Il les combine à des mécanismes de création dynamique de processus. Les principaux avantages de ce modèle sont le déterminisme et la compositionalité. Dans ce document, les sémantiques statiques et dynamiques de ReactiveML sont présentées ainsi que différentes techniques d'implantation du modèle réactif. Afin d'illustrer l'utilisation et les performances du langage, l'implantation d'un simulateur de réseaux mobiles ad hoc est décrite. Enfin, le document se termine par des discussions sur les choix de conception du langage et des propositions d'extensions.

Defence : 05/22/2006

Jury members :

BOUSSINOT Frédéric (Ecole des Mines de Paris) [Rapporteur]
LÉVY Jean-Jacques (INRIA Rocquencourt) [Rapporteur]
BERRY Gérard (Esterel Technologies)
MARANINCHI Florence (Institut National Polytechnique de Grenoble)
POMEROL Jean-Charles (Université Paris 6)
POUZET Marc (Université Paris 11) [Directeur]

Departure date : 12/31/2006

2005-2006 Publications