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

CHAPITRE VI
Construction et configuration de l’interface avec
l’intergiciel d’exécution
DANS LE CHAPITRE IV nous avons établi une séparation entre la sémantique des threads et des
sous-programmes AADL. Le code source produit à partir des sous-programmes doit reposer
sur un exécutif chargé de coordonner l’ensemble de l’application. Les threads AADL servent de
point d’entrée pour les communications ; ils constituent également le point de départ de l’exécution
des éléments logiciels AADL (c’est-à-dire les sous-programmes AADL). Ils matérialisent donc
l’intergiciel d’exécution.
Dans le chapitre V nous avons expliqué comment traduire la partie applicative d’une description
AADL en code source. Nous nous focalisons ici sur l’interprétation des threads afin de
paramétrer l’intergiciel d’exécution. Les éléments architecturaux doivent être retranscrits en appliquant
d’une part des règles de correspondance entre AADL et le langage cible, et d’autre part en
tenant compte de la bibliothèque d’exécution et de l’intergiciel sous-jacents. Nous montrons comment
AADL peut être exploité comme langage de configuration pour l’intergiciel – correspondant
à la première phase du processus de conception – ou pour sa modélisation – correspondant à la
seconde phase du processus.
VI-1 Spécifications de l’intergiciel d’exécution
La description d’une architecture doit tenir compte des capacités de l’exécutif, comme nous
l’avons souligné dans le chapitre IV-5, page 65.
L’approche pour la génération de systèmes exécutables que nous avons présentée en section
IV-4, page 61, se fonde sur le fait que l’exécutif doit contrôler l’application, afin de préserver
au maximum les caractéristiques de l’architecture telles que les temps d’exécution. Les règles de
production proposées par le standard 1.0 AADL s’appuient sur un principe opposé ; elles permettent
une grande souplesse dans l’implantation des systèmes, mais ne prennent pas en compte
les architectures basées sur un intergiciel, rendant ainsi difficile la prise en charge des communications
entre les nœuds.
Nous décrivons ici les spécifications de l’intergiciel d’exécution que nous avons définies dans
le cadre de nos travaux. Ces spécifications permettent de définir une interface entre l’enveloppe
applicative dont nous avons étudié la génération au chapitre V et l’intergiciel d’exécution luimême.
c○ 2007 Thomas Vergnaud 99