Etude de la conjonction des approches asynchrone et synchrone dans les langages réactifs : application à Electre

par Martin Richard

Thèse de doctorat en Sciences pour l'ingénieur

Sous la direction de Olivier Henri Roux.

Soutenue en 1994

à Nantes , en partenariat avec Université de Nantes. Faculté des sciences et des techniques (autre partenaire) et de École centrale de Nantes (autre partenaire) .

    mots clés mots clés


  • Résumé

    On présente dans cette thèse les techniques utilisées jusqu'à maintenant pour se détacher de l'hypothèse de synchronisme fort dans les langages réactifs synchrones afin de mieux modéliser les phénomènes asynchrones comme il en apparaît, par exemple, en exécution répartie. On présente ensuite un mécanisme permettant de traduire automatiquement les programmes écrits à l'aide du langage réactifs asynchrone Electre dans le code commun des langages réactifs, code appelé code oc. Cette traduction passe par la traduction en Esterel de la partie du programme Electre de départ traduisible en Esterel. La partie non traduisible est modélisée à l'aide d'automates. Le compilateur Esterel pouvant fournir un autmoate, le produit synchronisé de tous les automates donne un automate synchronisé qui modélise parfaitement le programme Electre de départ. Cet automate peut ensuite être traduit en code oc. La dernière partie de la thèse présente un nouveau concept appelé ambisynchronisme où sont mis en conjonction du code écrit à l'aide du langage asynchrone Electre et du langage synchrone Esterel au sein d'un même programme appelé programme ambisynchrone. L'ambisynchronisme permet de placer ces deux langages en parallèle en offrant des possibilités de synchronisation entre les deux parties (synchrone et asynchrone).


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 145 p.
  • Annexes : Bibliogr. p. 125-130

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1479 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1479
  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-406

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-RIC
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.