Étude de la conception des systèmes embarqués sur silicium (une approche de codesign matériel / logiciel)

La conception des systèmes embarqués représente un défi majeur d'une importance croissante. Les technologies submicroniques permettent de fabriquer des systèmes toujours plus complexes, gagnant de nouveaux marchés dans les domaines des moyens de transport ou des télécommunications, tels que la téléphonie mobile, la télévision numérique, ou le multimédia. Cependant, cette potentialité est de plus en plus sous utilisée, car l'évolution de la capacité à concevoir de tels systèmes n'augmente pas au même rythme. Cette croissante capacité d'intégration accentue le besoin d'une nouvelle méthodologie de conception. L'objectif de cette thèse est de tentes d'apporter des éléments de réponse au problème de la conception des systèmes embarqués. Nous étudions pour ce faire une approche reposant sur la conception concurrente des parties matérielles câblées et des parties logicielles enfouies, en confrontant cette approche à la conception d'un équipement avionique. Cette thèse propose de passer d'une conception de niveau composant vers une conception qui appréhende le problème à partir d'un point de vue plus global : le niveau système. Les bénéfices issus de cette élévation d'abstraction doivent apporter un gain d'optimisation de la conception aussi bien en terme de qualité qu'en terme de productivité. Les étapes d'une méthodologie de codesign incluent au delà de la spécification de l'application au niveau système, un partitionnement matériel/logiciel, une modélisation des architectures potentielles, une sélection de l'architecture, une synthèse concurrente du matériel et du logiciel, et une covérification.TOULOUSE-ENSEEIHT (315552331) / SudocSudocFranceF