Distribution de programmes synchrones : le cas d'Esterel

par Fabrice Peix

Thèse de doctorat en Informatique

Sous la direction de Robert de Simone.

Soutenue en 2004

à Nice .


  • Résumé

    La réalisation des systèmes embarqués modernes a fait naître le besoin de techniques et outils d’aide à la distribution automatique ou semi-automatique de code. En effet, l’évolution de la plate-forme matérielle/logicielle utilisée pour la réalisation de tels systèmes a tendance à s’orienter vers des réseaux et architectures de processeurs hétérogènes. Dans le cadre des langages synchrones, qui offrent déjà de nombreux avantages liés à une sémantique formelle (Model based design, outils de vérification,…) la possibilité de distribution optimisée de code rendrait ces technologies encore plus « attrayante ». Notre travail a consisté à rapprocher le langage Esterel de logiciels existants permettant d’effectuer de la distribution de code. Notre choix final s’est porté sur le logiciel SynDex, puisque ce dernier à l’immense avantage de reposer sur les même fondements théoriques (systèmes synchrones) que le langage Esterel. Bien que reposant sur les mêmes fondements théoriques, le langage Esterel et le logiciel SynDex se distinguent par le fait que le premier correspond à un style de langage orienté flot de contrôle tandis que le second utilise pour la représentation des algorithmes un style orienté flots de données. Dans ce contexte, une partie de notre travail a consisté à transformer la représentation des programmes Esterel vers une représentation orientée flot de données. De plus, afin d’améliorer l’évaluation des programmes, cette traduction se doit d’exploiter les informations structurelles fournies par Esterel afin de n’exécuter que les parties réellement actives du programme.

  • Titre traduit

    Analyze and distribution of synchronous language : the Esterel case


  • Résumé

    The realization of modern embedded systems increases the requirements of automatic or semi-automatic code distributing tools. Indeed the evolution of the hardware/software platform use for the realization of such systems turns toward heterogeneous chip network. Within the context of the synchronous language, with all of their advantages, the possibility of distributing optimized code make these technologies more attractive. Our works consist connect the Esterel language with existing software, which can make the code distribution. Our final choice is the SynDEX software, because this software uses the same theoretical foundation (synchronous systems) than Esterel language. Even, if the SynDEX software and the Esterel language use the same theoretical foundation, the Esterel language and the SynDEX software is different in the way they represent algorithm. Indeed the Esterel language is an imperative and control oriented language, while the SynDEX software is data flow oriented. In this circumstances, one part of our work consisted to transform the representation of Esterel program to date flow representation. Furthermore, in the goal of increase the evaluation of programs we exploit the structural information of the program to minimize the really active part of the program.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 129 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 125-127. Résumés en français et en anglais

Où se trouve cette thèse ?

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