Abstract FR:

Cette these est une contribution au developpement du langage signal dont les objectifs sont la specification et la mise en uvre d'applications temps reel. Signal releve a la fois des principes de la programmation synchrone et de ceux de la programmation flots de donnees. Ces principes permettent de repondre aux problemes de determinisme, de surete de fonctionnement et d'observabilite du comportement des systemes temps reel de facon beaucoup plus satisfaisante que la programmation asynchrone des langages tels qu'ada et occam. Cependant, cette superiorite ne doit pas etre acquise au detriment de la souplesse d'expression et des performances en temps d'execution. Aussi avons-nous etudie comment signal repondait a ces imperatifs et plus particulierement dans trois domaines: la gestion des tableaux et des traitements iteratifs: nous avons propose des solutions pour augmenter la souplesse d'expression en signal et developper une mise en uvre efficace d'entites vectorielles propres a signal; les optimisations en temps de calcul et en espace memoire independantes de la machine cible, realisables sur les programmes signal; l'execution parallele sur une machine multi-processeur de programmes signal compiles separement: nous avons mis en uvre sur l'ipsc/2 une application composee de plusieurs programmes signal dans le but de reveler les besoins au niveau de la compilation separee de programmes signal devant cooperer