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
Ces deux approches peuvent être combinées. La description architecturale permet de sélectionner
les personnalités par défaut, et les propriétés AADL permettent de « forcer » l’utilisation
d’une personnalité particulière. Les principales personnalités de PolyORB sont les implantations
du protocole GIOP de CORBA :
– IIOP 1 correspond au protocole de communication point à point fiable ;
– DIOP 2 correspond à une communication point à point non fiable, utilisable pour les requêtes
sans réponse ;
– MIOP 3 correspond à une diffusion non fiable.
L’utilisation de protocoles de communication non fiables ne peut se faire qu’avec la garantie
que le support de communication est lui-même fiable. C’est typiquement le cas des communication
entre deux processus s’exécutant sur le même processeur. Le protocole IIOP devrait être utilisé
pour les autres cas.
La spécification explicite du protocole à utiliser doit se faire par l’utilisation d’une propriété
d’énumération s’appliquant aux connexions AADL. Le standard définit pour cela la propriété
Connection_Protocol, dont les valeurs possibles doivent être définies par l’utilisateur dans l’ensemble
AADL_Project.
Dimension des files d’attente
La modélisation des files d’attente de données dans une description AADL apparaît en deux
endroits :
– sur les éléments d’interface des processus ;
– sur les éléments d’interface des threads.
La propriété AADL standard Queue_Size permet de spécifier une taille de file d’attente pour
ces entités.
La taille des files d’attente associée aux éléments d’interface des processus – ports d’événement/donnée
et sous-programmes – se traduit par la dimension des tampons de mémoire mis en
place dans le service de transport de PolyORB. Ces tampons de mémoire permettent de stocker les
données entrantes avant leur traitement par les servants. Les files d’attentes associées aux threads
AADL correspondent aux dimensions des tampons de la personnalité applicative.
Optimisation des temps d’exécution
Dans la section V-2.2 nous avons défini les types de données AADL manipulables dans le
cadre de nos travaux. La plupart de ces types de données ont une taille déterminée. Par ailleurs,
AADL ne permet pas la création dynamique d’entités. Tous les caractéristiques des requêtes sont
donc connues lors de la construction de l’intergiciel.
Ces informations peuvent être exploitées pour optimiser l’implantation de certains services de
l’intergiciel. Il est ainsi possible de définir précisément la taille des tampons mémoire utilisés dans
les personnalités protocolaires, au niveau du service de représentation. L’indexation des entités
référencées au niveau du service d’activation peut prendre la forme d’un tableau statique, dont les
temps d’accès sont fixes.
De tels travaux d’optimisation sont déjà réalisés dans le cadre du compilateur IDL IAC [Zalila
et al., 2006] associé à PolyORB. Ils peuvent être transposés dans le cadre d’AADL.
1 IIOP : Internet InterORB Protocol
2 IIOP : Datagram InterORB Protocol
3 IIOP : Multicast InterORB Protocol
106 c○ 2007 Thomas Vergnaud