Abstract FR:

Apparue il y a une dizaine d'annees et dediee a l'informatique temps reel, l'approche synchrone permet la specification d'applications avec une importante abstraction du support d'execution. Dans ce domaine, cette these introduit des concepts, methodes et outils pour l'inference de mises en uvre asynchrones a partir de specifications synchrones; ce travail est applique a signal, un langage synchrone inspire de principes de la programmation flots de donnees. Ce travail repose sur les graphes de flots synchrones qui constituent la representation interne des programmes signal. Par rapport aux structures de graphes habituellement manipulees par les compilateurs, les graphes de flots synchrones presentent une plus grande finesse de modelisation du controle et de ses interactions avec les dependances de donnees. Du point de vue des methodes, cette these a contribue d'une part, a la definition et a la validation de la methode d'inference de la mise en uvre sequentielle et, d'autre part, a la conception de la methodologie d'implementation parallele des programmes signal. Au niveau des outils, cette these definit: 1) l'abstraction de graphes de flots synchrones qui dote la compilation signal de la modularite, 2) l'ordonnancement de graphes de flots synchrones qui, grace a la richesse de modelisation de ces graphes, repose sur un critere qualitatif: la preservation de l'absence d'interblocage, 3) un premier outil de partitionnement qui permet de reduire la taille du probleme soumis a distribution et, 4) un second outil de partitionnement qui, par une methode ascendante, construit les processus pour lesquels le code sequentiel est reutilisable par composition