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
étendus pour chaque élément d’interface de chaque thread AADL ; la donnée Parameter_Buffer
contient toutes les files d’attente des différents paramètres.
VI-3.4 Modélisation du cœur de l’intergiciel en AADL
Une personnalité applicative constitue une implantation de certains des services en fonction
des paradigmes caractéristiques du modèle d’application considéré ; il en va de même pour une
personnalité protocolaire.
Les travaux autour de PolyORB [Hugues, 2005] ont permis de rationaliser les services de
l’architecture schizophrène sous forme d’entités simples [Hugues et al., 2004]. Nous détaillons ici
la structure des différents services.
La modélisation en AADL des différents services est spécialisée vis-à-vis de l’application
à prendre en charge ; il est impossible d’en fournir une modélisation complète. Nous pouvons
néanmoins définir les principes de cette modélisation. Nous présentons ici l’organisation de la
description AADL et une définition de haut niveau des composants modélisant les services.
VI-3.4.1 Adressage
La fonction d’adressage attribue à chaque entité de l’application une référence unique la désignant
sans ambiguïté. Elle combine plusieurs informations pour construire une référence : l’identifiant
local d’un objet, l’ensemble des identifiants représentant les différents canaux de communication
permettant de le joindre (un profil de liaison), des paramètres de qualité de service, etc.
Dans le cadre de la conception d’un intergiciel de type CORBA, la référence construite par
le service d’adressage peut être transformée sous forme de chaîne de caractères (IOR CORBA,
corbaloc URI, etc.), puis échangée avec les autres nœuds – typiquement, en notant les références
dans un fichier, etc.
L’implantation de ce service au sein d’une architecture dynamique comme celle de PolyORB
peut se révéler relativement sophistiquée, en ayant recours à des mécanismes de call-backs et d’exclusion
mutuelle pour enregistrer les informations issues des différents modules de l’intergiciel.
Dans le cadre d’une modélisation en AADL, le service d’adressage est en fait déjà exprimé par
la modélisation AADL, par les threads AADL et leurs connexions. Par conséquent ce service n’est
traduit par aucun composant actif dans la modélisation, puisque toutes les références peuvent être
pré-calculées lors de la construction de l’intergiciel. Les références aux entités doivent en revanche
être stockées en mémoire. La modélisation AADL du service d’adressage se traduit donc par un
composant de donnée. Le listing VI.3 définit une structure de donnée abstraite matérialisant le
service d’adressage.
1 package Ipao::Addressing
2 public
3 data References
4 end References;
5 end Ipao::Addressing;
VI-3.4.2 Liaison
Listing VI.3 – Modélisation du service d’adressage
Le rôle du service de liaison est de créer une structure locale, l’objet de liaison, qui représente
l’entité désignée par une référence, et de mettre en place les mécanismes permettant d’interagir
110 c○ 2007 Thomas Vergnaud