Abstract FR:

Nous presentons l'environnement sahara de simulation et de mise au point graphique pour les programmes reactifs esterel. Sahara est base sur un langage simple de description de panneaux graphiques au travers desquels l'utilisateur interagit avec son programme reactif. Nous decrivons ce langage graphique ainsi que l'implementation du systeme en le-lisp/aida. Plusieurs exemples de simulation graphique de programmes esterel sont donnes. Nous decrivons egalement l'implementation d'un protocole de communication qui permet de decomposer l'application sous-jacente, qui est simulee, en plusieurs processus distribues sur un reseau de machines