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

Chapitre III – AADL, un langage pour décrire les architectures
fournit la notion d’espace de nom. Il existe deux types d’espaces de noms : l’espace de nom anonyme
(anonymous namespace), qui est l’espace de nom par défaut, et les paquetages (packages).
Les paquetages sont déclarés dans l’espace de nom anonyme. Ils possèdent une partie publique
et éventuellement une partie privée (cf. listing III.6). Les déclarations contenues dans la partie publique
peuvent être référencées depuis l’extérieur du paquetage, tandis que les déclarations faites
dans la partie privée ne sont visibles que depuis le paquetage. La notion de sous-paquetage n’existe
pas ; cependant, le nommage des paquetages AADL permet d’exprimer une hiérarchie.
L’utilisation des paquetages permet de regrouper plusieurs déclarations AADL pour former
des ensembles logiques, de la même façon que les paquetages de Java ou les espaces de noms
du C++. La syntaxe actuelle d’AADL ne permet pas de référencer un composant déclaré dans
l’espace de nom anonyme à partir d’un paquetage. Par conséquent, les composants déclarés dans
les paquetages forment des groupes autonomes, avec éventuellement des références à d’autres
paquetages. Ainsi, un paquetage permet de fournir des déclarations qui pourront être instanciées
par les composants de l’espace de nom anonyme.
Les paquetages structurent les déclarations tandis que systèmes structurent l’architecture.
1 package Capteurs
2 public
3 system systeme_a
4 features
5 res : requires bus access Reseaux::Reseau;
6 end systeme_a;
7
8 system implementation systeme_a.impl
9 subcomponents
10 capteur1 : device un_capteur;
11 connections
12 bus access res -> capteur1.res;
13 end systeme_a.impl;
14
15 private
16 device un_capteur
17 features
18 res : requires bus access Reseaux::Reseau;
19 end un_capteur;
20 end Capteurs;
21
22 package Reseaux
23 public
24 bus Reseau
25 end Reseau;
26 end Reseaux;
III-8 Propriétés et annexes
Listing III.6 – Paquetages AADL
AADL permet de décrire l’organisation des composants de l’architecture et leurs connexions.
Il est possible de caractériser cette description structurelle l’aide des propriétés et des annexes afin
de préciser un certain nombre de caractéristiques s’appliquant aux entités architecturales – temps
c○ 2007 Thomas Vergnaud 41