282 articles – 2123 references  [version française]
Short view PhD thesis
Modèles de simulation pour la validation logicielle et l'exploration d'architectures des systèmes multiprocesseurs sur puce
Gerin P.
Thèses. Institut National Polytechnique de Grenoble - INPG (30/11/2009), F. Pétrot (Dir.)
[oai:tel.archives-ouvertes.fr:tel-00558777] - http://tel.archives-ouvertes.fr/tel-00558777
Attached file list to this document: 
PDF
sms_0316.pdf(4.3 MB)
P. Gerin1
1:  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
http://tima.imag.fr/
CNRS : UMR5159 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG)
46 Av Félix Viallet 38031 GRENOBLE CEDEX 1
France
Modèles de simulation pour la validation logicielle et l'exploration d'architectures des systèmes multiprocesseurs sur puce
Simulation models for software validation and architecture exploration of Multi-Processors System On Chip
2009-11-30
Les systèmes sur puces actuels mettent à profit des architectures multiprocesseurs (MPSoC) afin de répondre aux exigences en termes 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.
Current Multi-Processor System-On-Chips (MPSoCs) architectures benefit from the heterogeneous multiprocessor platforms to fit consumption and performance requirements while keeping software flexibility. 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 the 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 the electrical consumption related to the software execution.
Engineering Sciences/Micro and nanotechnologies/Microelectronics

Institut National Polytechnique de Grenoble - INPG
Electronique, Electrotechnique, Automatique, Télécommunications, Signal
micro et nano électronique
French

F. Pétrot
Maraninchi F. (president)
Feautrier P. (rapporteur)
Bois G. (rapporteur)

SoC – MPSOC simulation – Exécution native – modélisation TLM – instrumentation automatique de logiciel – annotation
SoC – MPSOC simulation – native execution – TLM models – automatic software instrumentation – annotation
ISBN : 978-2-84813-142-9