Recherche Avancée

Thèse soutenue

Compilation de SIGNAL : horloges, dépendances, environnement

FR  |  
EN
Auteur / Autrice : Loïc Besnard
Direction : Paul Le Guernic
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Rennes 1

Résumé

FR

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