Modélisation des systèmes temps-réel répartis embarqués pour la ...

Table des figures
I.1 Extraction des paramètres de l’application . . . . . . . . . . . . . . . . . . . . 2
I.2 Mise en place d’un processus de configuration et de génération . . . . . . . . . 3
II.1 Configuration d’une application centrée sur l’intergiciel . . . . . . . . . . . . . 14
II.2 Construction d’un exécutif pour une approche par composants . . . . . . . . . 17
II.3 L’approche MDA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
II.4 Schéma d’une architecture constitué d’une série de filtres . . . . . . . . . . . . 23
III.1 Syntaxe graphique des composants logiciels . . . . . . . . . . . . . . . . . . . 30
III.2 Syntaxe graphique des composants de plate-forme . . . . . . . . . . . . . . . . 31
III.3 Syntaxe graphiques des composants système . . . . . . . . . . . . . . . . . . . 31
III.4 Possibilités d’extension des composants . . . . . . . . . . . . . . . . . . . . . 32
III.5 Syntaxe graphique des éléments d’interface, correspondant au listing III.3 . . . 36
III.6 Syntaxe graphique des connexions, correspondant au listing III.4 . . . . . . . . 37
III.7 Ordre d’évaluation des propriétés . . . . . . . . . . . . . . . . . . . . . . . . . 45
IV.1 Cycle de conception en deux phases . . . . . . . . . . . . . . . . . . . . . . . 60
IV.2 Processus de raffinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
IV.3 Structuration de la description AADL . . . . . . . . . . . . . . . . . . . . . . 63
IV.4 Place de l’exécutif AADL dans l’application . . . . . . . . . . . . . . . . . . . 64
V.1 Génération de l’enveloppe applicative . . . . . . . . . . . . . . . . . . . . . . 72
VI.1 Organisation de l’interface avec l’intergiciel . . . . . . . . . . . . . . . . . . . 102
VI.2 Organisation d’une instance de PolyORB . . . . . . . . . . . . . . . . . . . . 104
VI.3 Expansion d’un thread AADL . . . . . . . . . . . . . . . . . . . . . . . . . . 107
VII.1 Exemple de réseau de Petri coloré . . . . . . . . . . . . . . . . . . . . . . . . 123
VII.2 Modélisation en réseaux de Petri de composants AADLi, décrit au listing VII.1 126
VII.3 Description des connexions en réseau de Petri, correspondant à la figure VII.4 . 130
VII.4 Connexions AADL, traduites par le réseau de la figure VII.3 . . . . . . . . . . 130
VII.5 Réseau de Petri borné modélisant une architecture de haut niveau correspondant
au listing VII.2, page 131 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
VII.6 Réseau de Petri d’une connexion entre deux sous-programmes . . . . . . . . . 134
VII.7 Modélisation de séquences d’appel, correspondant au listing VII.3 . . . . . . . 138
VII.8 Réseau de Petri pour un composant hybride . . . . . . . . . . . . . . . . . . . 143
VII.9 Réseau de Petri non borné correspondant au listing VII.5 . . . . . . . . . . . . 145
c○ 2007 Thomas Vergnaud 185