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
2006], etc. Le listing III.10 illustre un exemple d’annexe AADL tiré de l’annexe comportementale
d’AADL [SAE, 2006b].
1 subprogram start_read
2 features
3 debug: in parameter Behavior::boolean;
4 end start_read;
5
6 subprogram implementation start_read.i
7 calls {
8 p1: subprogram std::print;
9 };
10
11 annex behavior_specification {**
12 states
13 s0 : initial state;
14 s1 : return state;
15 transitions
16 s0 -[ on debug ]-> s1 { std::print! };
17 s0 -[ on not debug ]-> s1 {};
18 **};
19 end start_read;
III-8.3 Discussion
Listing III.10 – Annexes AADL
Les annexes et les propriétés permettent d’ajouter des informations à la description architecturale.
Alors que les annexes ne concernent que les composants, les propriétés peuvent être
associées à tous les éléments d’une description : composants, connexions, features, etc. Les annexes
permettent d’incorporer des éléments rédigés dans une syntaxe différente de celle d’AADL.
On peut donc considérer qu’elles permettent donc d’étendre la syntaxe AADL tout en permettant
l’utilisation d’outils existants. Les propriétés font partie intégrante de la syntaxe AADL, et donc
plus adaptées pour décrire les caractéristiques des architectures.
III-9 Évolutions de la syntaxe d’AADL
La première version du standard AADL, que nous venons de décrire, s’inspire très largement
de son ancêtre MetaH ; l’une des principales conséquences est que la description des éléments applicatifs
– principalement les sous-programmes – est assez primitive. Afin de pouvoir pleinement
exprimer les éléments d’architecture logicielle, il est nécessaire d’enrichir la syntaxe.
La version 1.0 du standard définit les composants sous-programmes selon la même approche
que dans les langages impératif. Cela facilite le passage entre AADL et des langages comme Ada
ou C mais restreint l’expressivité des descriptions AADL. Par ailleurs, le standard AADL actuel
ne permet pas de modéliser facilement un appel de sous-programme distant (RPC). Dans cette
section nous décrivons des évolutions du langage AADL que nous avons proposées au comité de
standardisation afin d’améliorer ces aspects.
46 c○ 2007 Thomas Vergnaud