Publications

Thèses


< retour aux thèses

« Ingénierie des systèmes complexes avec la méthode de conception concurrente co-design matériel/logiciel. Application aux calculateurs embarqués ».

Auteur : M. Romdhani
Directeur de thèse : A.-A. Jerraya
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Soutenance : 09/12/1996
Pages : 199

Résumé

Cette thèse traite de la spécification de la conception et du prototypage rapide des systèmes complexes. Nous proposons une approche d’ingénierie système basée sur les concepts de la conception concurrente matériel / logiciel Co-design et nous l’évaluons sur un calculateur embarqué expérimental de l’Airbus A340. Cette approche est définie à la lumière d’une étude des méthodes de conception existantes à Aérospatiale aéronatutique et d’une synthèse de l’état de l’art du Co-design. Elle se caractérise par une étape de spécification multi-formalismes, un partitionnement matériel / logiciel semi-automatique basé sur les analyses de performances et une étape finale de prototypage sur des technologies programmables FPGA outre l’introduction d’une nouvelle approche pour la modélisation et la spécification multi-formalismes des calculateurs embarqués, des techniques de composition des spécifications partielles ont été suggérées. Nous avons également étudié l’impact de l’utilisation de la nouvelle génération d’outils graphiques de spécification exécutable sur les métiers du logiciel et du matériel. L’une des contributions de la thèse est l’aide à la définition et au prototypage d’architectures des calculateurs embarqués par une exploration de l’espace des alternatives de partitionnement matériel /logiciel. Une méthode de partionnement fondée sur des analyses de performances avec l’outil SES/WORKBENCH a été présentée. L’originalité de la méthode de prototypage rapide réside dans sa flexibilité et dans l’accessibilité au prototype. Une plate-forme à base de PC-PENTIUM et de circuits programmables FPGA a été définie et expérimentée pour la réalisation d’un prototupe de la fonction ARINC 429.