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

Modélisation des systèmes temps-réel répartis embarqués
V.5 Déclaration de tableaux en AADL . . . . . . . . . . . . . . . . . . . . . . . . 74
V.6 Déclaration d’une chaîne de caractères en AADL . . . . . . . . . . . . . . . . 75
V.7 Déclaration d’une structure de données complexe en AADL . . . . . . . . . . 75
V.8 Déclaration d’une liste en AADL . . . . . . . . . . . . . . . . . . . . . . . . 75
V.9 Exemple de sous-programme AADL avec une implantation opaque . . . . . . 77
V.10 Exemple de séquence d’appel pure . . . . . . . . . . . . . . . . . . . . . . . 78
V.11 Exemple de sous-programme AADL hybride . . . . . . . . . . . . . . . . . . 80
V.12 Exemple de sous-programme avec une donnée locale . . . . . . . . . . . . . . 82
V.13 Type Ada correspondant à une donnée AADL sans sémantique . . . . . . . . 87
V.14 Types Ada issus des déclarations AADL . . . . . . . . . . . . . . . . . . . . 87
V.15 Type Ada correspondant à un composant de liste en AADL . . . . . . . . . . 87
V.16 Spécifications Ada générées à partir de la description AADL du listing V.12 . 88
V.17 Code Ada généré à partir de la description AADL du listing V.12 . . . . . . . 88
V.18 Code Ada implantant l’algorithme . . . . . . . . . . . . . . . . . . . . . . . . 89
V.19 Classe Java correspondant à une donnée AADL sans sémantique . . . . . . . 92
V.20 Classes Java issues des déclarations AADL . . . . . . . . . . . . . . . . . . . 92
V.21 Classe Java correspondant à un composant de liste en AADL . . . . . . . . . 93
V.22 Type de donnée généré à partir de la description AADL du listing V.12 . . . . 94
V.23 Classe correspondant aux paramètres du sous-programme spA.imp . . . . . . 94
V.24 Classe correspondant aux paramètres du sous-programme spB . . . . . . . . . 94
V.25 Classe correspondant aux paramètres du sous-programme spD . . . . . . . . . 95
V.26 Classe de contrôle pour le sous-programme spA.impl . . . . . . . . . . . . . 95
V.27 Classe contenant les séquences d’appel du sous-programme spA.impl . . . . . 95
V.28 Code Java correspondant aux déclarations de sous-programmes AADL du listing
V.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
V.29 Code Java implantant l’algorithme . . . . . . . . . . . . . . . . . . . . . . . 96
VI.1 Modélisation des requêtes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
VI.2 Modélisation de l’interface avec le cœur de l’intergiciel . . . . . . . . . . . . 109
VI.3 Modélisation du service d’adressage . . . . . . . . . . . . . . . . . . . . . . 110
VI.4 Modélisation du service de liaison . . . . . . . . . . . . . . . . . . . . . . . . 111
VI.5 Modélisation du service de représentation . . . . . . . . . . . . . . . . . . . . 112
VI.6 Modélisation du service de protocole . . . . . . . . . . . . . . . . . . . . . . 113
VI.7 Modélisation du service de transport . . . . . . . . . . . . . . . . . . . . . . 113
VI.8 Modélisation du service d’activation . . . . . . . . . . . . . . . . . . . . . . 114
VI.9 Modélisation du µBroker . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
VI.10 Assemblage des composants de l’intergiciel . . . . . . . . . . . . . . . . . . 116
VII.1 Exemples de déclarations de composants AADL, traduites en réseaux de Petri
sur la figure VII.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
VII.2 Exemple de connexion AADL, traduit par le réseau VII.5 . . . . . . . . . . . 131
VII.3 Appels de sous-programmes, traduits en réseau de Petri sur la figure VII.7 . . 137
VII.4 Description d’un sous-programme avec deux séquences d’appel, correspondant
au réseau de Petri de la figure VII.8(a) . . . . . . . . . . . . . . . . . . . . . 141
VII.5 Architecture impliquant un débordement des files d’attentes, traduit par le réseau
de Petri de la figure VII.9 . . . . . . . . . . . . . . . . . . . . . . . . . . 144
VIII.1 Description des processus de l’application de test . . . . . . . . . . . . . . . . 156
VIII.2 Description du processus d’initialisation . . . . . . . . . . . . . . . . . . . . 158
VIII.3 Déploiement de l’application de test . . . . . . . . . . . . . . . . . . . . . . . 158
188 c○ 2007 Thomas Vergnaud