La lecture à portée de main
173
pages
Français
Documents
Écrit par
Carlos Hernan Prada Rojas
Publié par
Thesee
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
173
pages
Français
Ebook
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
THÈSE
Pour obtenir le grade de
DOCTEURDEL’UNIVERSITÉDEGRENOBLE
Spécialité :Informatique
Arrêté ministérial : 7 août 2006
Présentée par
CarlosHernánPradaRojas
Thèse dirigée parJean-FrançoisMéhaut
et codirigée par Vania Marangozova-Martin et Miguel Santana
préparée au sein du Laboratoired’InformatiquedeGrenoble
et de l’École Doctorale Mathématiques, Sciences et Technologiesde
l’Information, Informatique
Une approche à base de composants logiciels
pourl’observationdesystèmesembarqués
Thèse soutenue publiquement le XXjuin2011,
devant le jury composé de :
Mr,XX
XX, Président
Mr,PierreBoulet
Professeur à l’Université Lille 1, Rapporteur
Mr,ChristianPerez
Chercheur à l’INRIA Rhône-Alpes, Rapporteur
Mr,XX
XX, Examinateur
Mr,XX
XX, Examinateur
Mr,Jean-FrançoisMéhaut
Professeur à l’Université Joseph Fourier, Directeur de thèse
Mme,VaniaMarangozova-Martin
Maître de conférences à l’Université Joseph Fourier, Co-Directrice de thèse
Mr,MiguelSantana
Directeur du centre IDTEC à STMicroelectronics, Co-Directeur de thèse
tel-00621143, version 1 - 9 Sep 2011tel-00621143, version 1 - 9 Sep 2011Résumé
Àl’heureactuele,lesdispositifsembarquésregroupentune grande variété d’appli-
cations, ayant des fonctionnalités complexes et demandant une puissance de calcul de
plus en plus importante. Ils évoluent actuellement de systèmes multiprocesseur sur puce
vers des architectures many-core et posent de nouveaux défis au développement de logi-
ciel embarqué. En e!et, Il a classiquement été guidé par les performances et donc par
les besoins spécifiques des plates-formes. Or, cette approche s’avère trop couteuse avec
les nouvelles architectures matérielles et leurs évolutions rapprochées. Actuellement, il
n’y a pas un consensus sur les environnements à utiliser pour programmer les nouvelles
architectures embarquées.
Afin de permettre une programmation plus rapide du logiciel embarqué, la chaîne
de développement a besoin d’outils pour la mise au point des applications. Cette mise
au point s’appuie sur des techniques d’observation, qui consistent à recueillir des infor-
mations sur le comportement du système embarqué pendant l’exécution. Les techniques
d’observation actuelles ne supportent qu’un nombre limité de processeurs et sont forte-
ment dépendantes des caractéristiques matérielles.
Dans cette thèse, nous proposons EMBera : une approche à base decomposantspour
l’observation de systèmes multiprocesseurs sur puce. EMBeraviselagénéricité,laporta-
bilité, l’observation d’un grand nombre d’éléments, ainsi quelecontrôle del’intrusion. La
généricité est obtenue par l’encapsulation de fonctionnalités spécifiques et l’exportation
d’interfaces génériques d’observation. La portabilité estpossiblegrâceàdescomposants
qui, d’une part, ciblent des traitements communs aux MPSoCs,etd’autrepart,per-
mettent d’être adaptés aux spécificités des plates-formes. Le passage à l’échelle est réussi
en permettant une observation partielle d’un système en se concentrant uniquement sur
les éléments d’intérêt : les modules applicatifs, les composants matériels ou les di!érents
niveauxdelapilelogicielle.Lecontrôle del’intrusionestfacilitéparlapossibilitédeconfi-
gurer le type et le niveau de détail des mécanismes de collectededonnées.L’approche
est validée par le biais de di!érentes études de cas qui utilisent plusieurs configurations
matérielles etlogicielles. Nousmontrons quecette approche o!reunevraievaleurajoutée
dans le support du développement de logiciels embarqués.
Mots-clés :Observation,composantlogiciels,systèmessurpuce
tel-00621143, version 1 - 9 Sep 2011tel-00621143, version 1 - 9 Sep 2011Abstract
Embedded software development faces new challenges as embedded devices evolve
fromMultiprocessorSystemsonChip(MPSoC)withheterogeneousCPUtowardsmany-
core architectures. Theclassicalapproach ofoptimizing embedded software inaplatform-
specific way is no longer applicable as it is too costly. Moreover, there is no consensus on
the programming environments to be used for the new and rapidly changing embedded
architectures.
MPSoC software development needs debugging tools. These tools are based on obser-
vation techniques whose role is to gather information about the embedded system exe-
cution. Current techniques support only a limited number of processors and are highly
dependent on hardware characteristics.
In this thesis, we propose EMBera, a component-based approachtoMPSoCobserva-
tion. EMBera aims at providing genericity, portability, scalability and intrusion control.
Genericity is obtained by encapsulating specific embedded features and exporting gene-
ric observation interfaces. Portability is achieved through components targeting common
treatments for MPSoCs but allowing specialization. Scalability is achieved by observing
only the elements of interest from the system, namely application modules, hardware
components or the di!erent levels of the software stack. Intrusion control is facilitated by
the possibility to configure the type and the level of detail ofdatacolectionmechanisms.
The EMBera approach is validated by di!erent case studies using di!erent hardware
and software configurations. We show that our approach provides a real added value in
supporting the embedded software development.
Keywords :Observation,softwarecomponents,embeddedsystems
tel-00621143, version 1 - 9 Sep 2011tel-00621143, version 1 - 9 Sep 2011Table des matières
1Introduction 11
IÉtatdel’art 15
2L’observationdessystèmesinformatiques 17
2.1 Pourquoi observer? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Comment observer? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.1 La sélection d’entités à observer . . . . . . . . . . . . . . . . ....18
2.2.2 La préparation de la cible à observer . . . . . . . . . . . . . . ...18
2.2.3 La collecte de données brutes . . . . . . . . . . . . . . . . . . . . . 19
2.2.4 Le pré-traitement des données générées . . . . . . . . . . . .....20
2.2.5 Le formattage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.6 Le stockage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.7 L’analyse post-mortem . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.8 La visualisation des données observées . . . . . . . . . . . .....2
2.3 Synthèse des étapes de l’observation . . . . . . . . . . . . . . . ......2
2.4 Critères d’étude des approches d’observation . . . . . . . ..........23
2.5 Classification des approches pour l’observation . . . . . ..........24
2.5.1 Systèmes embarqués . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.5.2 Systèmes parallèles . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5.3 Systèmes distribués . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.6 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3Lescomposantslogiciels 41
7
tel-00621143, version 1 - 9 Sep 20118 TABLE DES MATIÈRES
3.1 Principes des composants logiciels . . . . . . . . . . . . . . . . ....... 41
3.1.1 La définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.2 L’implémentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.3 Le déploiement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.4 L’exécution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 Critères d’évaluation des projets portant sur les
composants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.3 Classification des travaux autour des composants
logiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3.1 Modèles génériques . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.2 Utilisation des composants dans les systèmes embarqués . . . . . . 48
3.3.3 Observation à base de composants . . . . . . . . . . . . . . . . . . 53
3.4 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
II Contribution 59
4Proposition 61
4.1 Synthèse des travaux étudiés . . . . . . . . . . . . . . . . . . . . . . ... 61
4.2 Objectifs de l’approche . . . . . . . . . . . . . . . . . . . . . . . . . . ...63
4.3 Proposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
5EMBera:unmodèleàbasedecomposantslogicielspourl’observation
de systèmes embarqués 67
5.1 Le modèle à composants EMBera . . . . . . . . . . . . . . . . . . . . . . . 67
5.2 Le modèle d’observation EMBera . . . . . . . . . . . . . . . . . . . . . .