La lecture à portée de main
Découvre YouScribe en t'inscrivant gratuitement
Je m'inscrisDécouvre YouScribe en t'inscrivant gratuitement
Je m'inscrisDescription
Informations
Publié par | Thesee |
Nombre de lectures | 32 |
Langue | English |
Poids de l'ouvrage | 1 Mo |
Extrait
Université d’Evry
Laboratoire d’Ingénierie Dirigée par les Modèles
des Systèmes Temps Réel Embarqués
Thèse
présentée en première version en vue d’obtenir le grade de
Docteur, spécialité «Informatique»
par
Frédéric Thomas
Contribution à la prise en compte
des plates-formes logicielles
d’exécution dans une ingénierie
générative dirigée par les modèles
Thèse soutenue le 21 novembre 2008 devant le jury composé de :
M. Jean Bézivin LINA (Rapporteur)
M. Jean-Philippe Babau LISyC
M. Patrick Albert ILOG (Invité)
M. François Terrier LISE (Directeur)
M. Sébastien Gérard LISE (Encadrant)
M. Jérôme Delatour ESEORemerciements
enesaispass’ilexistedesstatistiquessurlesujet,maisilmesemblequeJ lapagelaplusluedansunethèseestcelledesremerciements.L’exercice
est donc difficile. En espérant qu’ils ne soit pas trop rébarbatifs, voici les
remerciements de cette thèse.
Contrairement au ressenti d’un doctorant à certaines étapes de ce pro-
jet de trois ans : Maman, je suis perdu!, une thèse n’est pas le fruit d’une
seule tête pensante, mais d’un ensemble de têtes qui échangent, doutent,
rigolent et même parfois font la fête ensembles. Mes premiers remercie-
ments sont donc destinés à mes encadrants : Séb et Jérôme avec qui j’ai eu
plaisir à travailler. Jérôme a été le premier à me faire confiance. Séb m’a
permis de découvrir la recherche internationale. J’ai eu la chance d’être
encadré et soutenu par vous deux tout au long de mon doctorat. Je tiens
donc à vous remercier pour vos compétences techniques, votre disponibi-
lité et vos nombreuses qualités humaines.
Outre Sébastien Gérard et Jérôme Delatour, je remercie également
FrançoisTerrierpouravoirétémondirecteurdethèseetm’avoiraccueilli
dans son Laboratoire d’Ingénierie Dirigée par les Modèles des Sys-
tèmes Temps Réel Embarqués (LISE) du CEA Saclay. Merci, à toi, Fran-
çois pour m’avoir fourni les moyens matériels et financiers pour réaliser
ce projet.
Même si la rédaction est un but en soi, ce n’est pas le but final d’un
doctorant. Je remercie donc également les membres de mon jury qui ont
acceptéd’assisteràmasoutenance.Ainsi,jeremercieJean-philippeBabau
et Jean Bézivin pour avoir étudié et évalué ce manuscrit. Leurs retours
m’ont permis d’avancer dans ma réflexion. Je remercie également Patrick
Albert pour avoir participé au jury en apportant ses compétences indus-
trielles de recherche et développement.
Les remerciements ne sont jamais exhaustifs. Pour simplifier, je remer-
cie l’ensemble des équipes LISE du CEA Saclay et TRAME de l’ESEO.
Je remercie tout particulièrement : Arnaud, Brahim, Damien, François,
Fred, Guillaume, Gonzague, Huascar, Matthias, Rémy, Romain, Safouan,
les Sebs, Wassim... Les beautés de discussions, de pauses cafés et de bar-
becues que nous avons partagés me manqueront.
Enfin, je compte, bien évidemment, remercier mon entourage pour
m’avoir soutenu durant ces trois ans, en particulier, Isa et Chloé. Vous
m’avez accompagné, supporté et encouragé dans ce long projet. Comme
dirait Lalé : Appi!
Saclay, le 18 janvier 2009.
iiiTable des matières
Table des matières v
Note aux lecteurs ix
Introduction 1
Contexte................................. 1
Problématique ............................. 2
Objectifs de recherche........................ 2
Contributions 2
Démarche ................................ 3
I Caractérisation de la problématique et état de l’art 5
1C aractérisation de la problématique 7
1.1 Caractérisation des applications mises en œuvre.... 9
1.2 Caraation de l’ingénierie mise en œuvre ..... 13
Conclusion ............................... 20
2É tat de l’art 23
2.1 Définition des critères de comparaison .......... 25
2.2 État de l’artsurlamodélisationdesplates-formeslo-
gicielles d’exécution ...................... 28
Conclusion 34
II Contributions génériques à la modélisation des plates-
formes logicielles d’exécution 35
3D éfinition et implantation du motif Resource-Service 37
3.1 Définition des contours de modélisation......... 39
3.2 D du motif Resource-Service ........... 42
3.3 Implantation du motif Resource-Service dans UML . . 48
3.4 Discussion............................. 52
Conclusion ............................... 5
4S pécificationd’uncadreméthodologiquedédiéaumo-
tif Resource-Service 57
4.1 Identification des cas de modélisation .......... 59
4.2 Définition des heuristiques de modélisation....... 60
4.3 Discussions ............................ 71
Conclusion ............................... 73
v5S pécification d’un cadre technologique dédié au mo-
tif Resource-Service 75
5.1 Définition des architectures de transformations ... 7
5.2 Spécification des services detion ...... 79
5.3 Discussions ............................ 86
Conclusion ............................... 86
III Contributions appliquées aux ingénieries génératives
intégrant des modèles explicites de plates-formes d’exécu-
tion multitâche 89
6M étamodèlisationdesplates-formeslogiciellesd’exé-
cution multitâche 91
6.1 Définition d’un profil UML pour la modélisation des
plates-formes logicielles d’exécution multitâche ... 93
6.2 Évaluation du profilUML..................104
6.3 Discussions ............................107
Conclusion ...............................12
7I ntégrationdesmodèlesdeplates-formesmultitâches
dans une ingénierie générative expérimentale 113
7.1 Définition du contexte expérimental ...........15
7.2 Description de l’infrastructure de transformation . . 120
7.3 Évaluation de l’ detion . . 129
7.4 Discussion.............................135
Conclusion ...............................136
Conclusion 137
Bilan ...................................137
Discussion générale .........................138
Perspectives139
Annexes 143
AL ibrairies ATL dédiées à la manipulation de modèles
de plates-formes 143
A.1 Implantation des services primitifs.............143
A.2 Implantation d’une librairie d’équivalence .......14
BO ntologie des services des systèmes multitâches 147
CI ntégration de SRM dans MARTE 155
C.1 Intégration du profil SRM dans le profilMARTE....156
DD escription des modèles et des règles de transforma-
tion utilisés dans l’expérimentation du composant τ 159p2p
D.1 Modélisation de la plate-forme Cheddar.........159
D.2 Description des règles de transformation spécifiées
par l’utilisateur dans le processus expérimental ....164
viE UMLPatternDetectionLib:Une librairie de détection
de schémas de conception UML 169
E.1 Présentation des modèles d’entrée .............169
E.2 Pation des contraintes ................170
E.3 Présentation des algorithmes de la librairie ......173
Liste des figures 177
Liste des tableaux 181
Liste des algorithmes 183
Liste des codes 183
Bibliographie 185
Glossaire 193
Index 198
viiNote aux lecteurs
Conventions
Ce mémoire utilise les conventions typographiques et graphiques sui-
vantes :
Conventions typographiques
Les noms et les sigles des langages de programmation, des méthodes,
des outils, et des institutions sont en petites majuscules : Java, ATL,
OMG,
Les noms des constituants d’un métamodèle ou d’un modèle sont en
police non- proportionnelle avec empattement : Class, Task,
Les mots en langue étrangère sont en italique : design pattern,
Le terme «plate-forme» réfère à la plate-forme d’exécution. Les termes
«plate-forme» et «plate-forme d’exécution» sont donc utilisés,
Le sigle UML réfère à la version 2.1 de la norme UML,
Dans la description des codes sources, une flèche précise que la
ligneaétécoupéedanscedocumentpourdesraisonséditoriales.Cette
flèche n’apparait pas dans la description finale.
Conventions graphiques
La couleur bleue utilisée dans les diagrammes UML référence des in-
formations qui n’appartiennent pas au modèle décrit. Ce sont soit des
méta-informations, c’est-à-dire des informations renseignées dans le
métamodèle, ou soit des commentaires facilitant la compréhension du
diagramme,
Lacouleurverteutiliséedanslesdiagrammesréférenceunélémentqui
est importé d’un autre package du modèle,
Dans les illustrations