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

Table des listings
II.1 description RPCL d’une application . . . . . . . . . . . . . . . . . . . . . . . 9
II.2 description IDL d’une application . . . . . . . . . . . . . . . . . . . . . . . . 10
II.3 interface d’une classe Java invocable à distance . . . . . . . . . . . . . . . . . 12
II.4 interface d’une classe Java invocable à distance . . . . . . . . . . . . . . . . . 12
II.5 Connecteur en Darwin, correspondant a la figure II.4 . . . . . . . . . . . . . . 23
III.1 Types et implantations de composants AADL . . . . . . . . . . . . . . . . . . 31
III.2 Structure interne des composants AADL . . . . . . . . . . . . . . . . . . . . 33
III.3 Exemples d’éléments d’interface . . . . . . . . . . . . . . . . . . . . . . . . 35
III.4 Connexions et flux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
III.5 Système global et modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
III.6 Paquetages AADL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
III.7 Déclarations de propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
III.8 Extrait des déclarations de propriétés standard . . . . . . . . . . . . . . . . . 42
III.9 Associations de valeurs aux propriétés . . . . . . . . . . . . . . . . . . . . . 44
III.10 Annexes AADL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
III.11 Modélisation de séquences d’appel en AADL 1.0 . . . . . . . . . . . . . . . . 47
III.12 Sélection du sous-programme appelé . . . . . . . . . . . . . . . . . . . . . . 48
III.13 Modélisation d’un appel distant . . . . . . . . . . . . . . . . . . . . . . . . . 49
III.14 Connexion interne des paramètres . . . . . . . . . . . . . . . . . . . . . . . . 49
III.15 Connexion interne des paramètres . . . . . . . . . . . . . . . . . . . . . . . . 50
IV.1 Composants AADL génériques . . . . . . . . . . . . . . . . . . . . . . . . . 54
IV.2 Mise en place des composants . . . . . . . . . . . . . . . . . . . . . . . . . . 54
IV.3 Définition des valeurs pour la terminaison des partitions . . . . . . . . . . . . 55
IV.4 Terminaison des partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
IV.5 Emplacement des nœuds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
IV.6 Description du déploiement des nœuds avec Gnatdist . . . . . . . . . . . . . . 56
IV.7 Description du déploiement des nœuds en AADL . . . . . . . . . . . . . . . 56
IV.8 Autre déploiement des nœuds en AADL . . . . . . . . . . . . . . . . . . . . 57
IV.9 Autre déploiement des nœuds avec Gnatdist . . . . . . . . . . . . . . . . . . 57
IV.10 Modélisation d’une architecture basée sur le passage de message . . . . . . . 66
IV.11 Modélisation d’une architecture basée sur l’appel de sous-programme distant . 67
IV.12 Modélisation d’une architecture basée sur des objets distants . . . . . . . . . . 68
IV.13 Définition de la propriété AADL pour le déclenchement des threads . . . . . . 69
V.1 Déclaration d’une donnée AADL . . . . . . . . . . . . . . . . . . . . . . . . 73
V.2 Définition de la sémantique des données . . . . . . . . . . . . . . . . . . . . 73
V.3 Déclaration d’un entier en AADL . . . . . . . . . . . . . . . . . . . . . . . . 74
V.4 Déclaration d’un type énuméré en AADL . . . . . . . . . . . . . . . . . . . . 74
c○ 2007 Thomas Vergnaud 187