Abstract FR:

Les cartes a microprocesseur ont des contraintes techniques tres importantes qui imposent des demarches nouvelles de conception tant au niveau logiciel qu'au niveau materiel. Nous nous sommes interesses au probleme de la conception d'applications cartes. Les contraintes memoires imposent un code tres compact mais aussi une utilisation optimale des ressources. L'etat de l'art en matiere de conception des applications cartes se resumait a une ecriture des applications en langage assembleur. Cette methode deviendra vite obsolete face aux futures applications cartes. La complexite croissante des applications cartes fait que l'evolution architecturale previsible sera freinee par la persistance de contraintes materielles importantes. Il apparait donc indispensable de mettre en uvre une methodologie adaptee a la conception et a la realisation d'applications cartes sur de nouvelles architectures. Notre travail a donc consiste a elaborer un systeme permettant la definition, la validation de nouvelles architectures cartes et la verification de l'adequation de celles-ci avec des applications cartes. Une etape importante est la simulation d'une application sur une architecture donnee dans un but de validation. Aussi, nous avons concu un langage de haut niveau de description d'architectures de micro-module base sur un micro-processeur de type r. I. S. C. L'ensemble de ces travaux permet de proposer une methodologie et des outils adaptes a la conception de futures applications cartes sur de nouvelles architectures.