Sahara : un environnement de mise au point graphique pour les programmes esterel

par GUIDO GHERARDI

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Berry.

Soutenue en 1992

à Nice .

    mots clés mots clés


  • Résumé

    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

  • Titre traduit

    Sahara: a graphical environment for simulation and symbolic debugging of esterel programs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 126 P.
  • Annexes : 41 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.