Compilation de SIGNAL : horloges, dépendances, environnement

par Loïc Besnard

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1992

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le travail decrit dans ce document s'inscrit dans le cadre du developpement d'un contexte de programmation d'application. Il presente d'une part, la mise en uvre du langage synchrone signal oriente flot de donnees et la structure de l'environnement signal, d'autre part. Le point important dans la compilation de signal est d'assurer le respect de la synchronisation des calculs exprimee par le langage. Ceci induit l'integration dans le compilateur d'un systeme formel de preuves de proprietes de programmes; c'est-a-dire un outil automatique d'analyse et de synthese de contraintes temporelles et de dependances de calculs. Dans les travaux presentes, on s'interesse a l'ensemble des proprietes invariantes dans le temps. La verification partielle de la correction du processus vis-a-vis de ses synchronisations est effectuee en utilisant une technique de reecriture; la synthese partielle d'expressions explicites du controle se traduit par une foret d'arbres dont les racines sont eventuellement arguments de contraintes non resolues et les nuds internes des expressions explicites. L'ordonnancement des calculs est explicite dans un graphe structure conformement a la hierarchie definie. La structure de l'environnement signal ainsi que la methodologie de developpement utilisee sont ensuite presentees. Nous decrivons la double structuration (fonctionnelle et hierarchique) de la realisation et l'environnement de developpement du compilateur qui a ete construit sous le systeme mentor (editeur dirige par la syntaxe). Cette methodologie de developpement permet d'atteindre un bon degre de portabilite de l'application


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I-BES
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1992/110
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : N 3. BES.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.