Abstract FR:

La conception et la maitrise des systemes embarques temps reel constituent un challenge dont l'importance est sans cesse croissante. La complexite de ces systemes est fonction des traitements, du caractere distribue et des contraintes temps reel, qui composent leurs caracteristiques inherentes. Pour mener a bien le developpement de l'application prometheus prochip ii, s'inscrivant dans ce domaine des systemes temps reel, l'equipe architecture pour le controle de processus de l'institut d'electronique fondamentale a decide de recentrer ses activites sur le prototypage des systemes complexes embarques. Une voie de developpement adoptee fut l'approche synchrone. L'objectif de cette these a donc ete de mettre en uvre et d'evaluer une methodologie associant le langage synchrone signal pour les specifications temporelles, et l'outil syndex pour le placement optimise et la generation de code automatique. Le travail, decompose en deux parties, fut de mieux cerner les avantages et les limites de cette methodologie sur l'application complexe. La premiere partie concerne la specification en temps logique avec signal de l'ensemble de l'application en detaillant surtout trois points : le systeme expert, le filtrage de donnees binaires et l'appariement temporel de donnees capteurs. Le but a ete de specifier ces differentes parties en faisant ressortir au maximum le parallelisme potentiel des algorithmes, afin d'obtenir le meilleur rendement possible lors de l'implantation sur une architecture materielle heterogene. La seconde partie s'interesse a la synthese materielle de la description issue de signal, a l'aide de syndex, qui produit un executif distribue temps reel denue d'interblocages. Nous decrivons les problemes, principalement dus aux horloges, rencontres lors du passage de signal a syndex, et les solutions adoptees.