Abstract FR:

L'objectif principal de cette these est de proposer une methodologie de synthese des unites de communications pour le module materiel dans une approche de conception mixte logiciel/materiel (codesign). Le domaine d'application considere est le traitement du signal et des images (tdsi) et les telecommunications, caracterise par une dominante flot de donnees et des contraintes temps reel. L'approche consideree pour la conception de l'unite de communication nous a amene a adopter un mode de communication materiel/logiciel de type localement asynchrone. Ce mode vise l'obtention d'un recouvrement optimal des traitements et des communications externes du module materiel, tout en minimisant la taille des buffers. La methodologie proposee s'inscrit dans un flot de conception qui positionne la synthese de l'unite de communication a posteriori de la synthese des unites de traitement et de memorisation. La synthese de l'unite de communication doit alors etre concue de facon a satisfaire l'ensemble des contraintes derivees de la synthese de ces unites. L'unite de controle qui doit piloter l'ensemble du materiel est realisee en parallele avec chaque unite. L'approche de synthese proposee s'appuie sur des architectures generiques relatives au systeme mixte et a l'unite de communication materielle. Une nouvelle methode de synthese des elements memoires d'e/s dans le cadre de communications asynchrones est developpee. L'originalite de cette methode reside dans l'utilisation de transformations formelles qui permettent l'optimisation de la taille des buffers. L'aspect formel de ces transformations garantie le bon fonctionnement de l'architecture obtenue, ce qui nous affranchit de la couteuse etape de validation. Ces etudes ont debouche sur le developpement d'un outil de synthese des unites de communication, developpe en langage c. Des resultats en synthese pour des applications reelles dans le domaine du traitement du signal ainsi que pour des algorithmes d'annulation d'echo acoustique sont presentes.