Modèles de simulation pour la validation logicielle et l'exploration d'architectures des systèmes multiprocesseurs sur puce / Patrice Gerin ; sous la direction de Frédéric Pétrot

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 2009

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Systèmes sur puce

Pétrot, Frédéric (19..-....) (Directeur de thèse / thesis advisor)

Institut national polytechnique (Grenoble ; 1900-....) (Organisme de soutenance / degree-grantor)

Relation : Modèles de simulation pour la validation logicielle et l'exploration d'architectures des systèmes multiprocesseurs sur puce / Patrice Gerin / Villeurbanne : [CCSD] , 2011

Relation : Modèles de simulation pour la validation logicielle et l'exploration d'architectures des systèmes multiprocesseurs sur puce / Patrice Gerin ; sous la direction de Frédéric Pétrot / Lille : Atelier national de reproduction des thèses , 2009

Résumé / Abstract : Les systèmes sur puces mettent à profit des architectures multiprocesseurs (MPSoC) afin de répondre aux exigences en terme de performances et de consommation. Cette dominance du logiciel nous contraint à débuter la validation et l'intégration avec le matériel dès les premières étapes des flots de conception. Les principales contributions de cette thèse sont (1) la proposition d'une méthodologie de conception de plateformes de simulation basée sur l'exécution native du logiciel, (2) une technique d'instrumentation permettant l'annotation du logiciel s'exécutant sur cette plateforme de simulation. Les plateformes de simulation ainsi développées permettent l'exécution de la quasi totalité du logiciel final (y compris le système d'exploitation) sur des modèles réalistes de l'architecture matérielle du système. Associées à la technique d'instrumentation, ces plateformes permettent de prendre en compte de manière précise des grandeurs physiques telles que le temps liées à l'exécution du logiciel.

Résumé / Abstract : Multi-Processor System-On-Chip (MPSoCs) architectures benefit from the heterogeneous multiprocessor platforms to fit consumption and performance requirements. The dominance of software in MPSoCs compel designers to start the software validation and integration with hardware in the earlier steps of the design flow in order to achieve a short time-to-market. The contributions of this thesis are (1) the proposition of a methodology to model simulation platforms based on the native execution of the software, (2) an instrumentation techniques that allow the annotation of the embedded software. These simulation platforms allow the execution of almost all parts of the final software (including operating system) on top of realistic hardware architecture models of the targeted system. Combined with the instrumentation technique, these platforms allow to precisely consider physical quantities such as the execution time or electrical consumption related to the software execution.