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

Chapitre III – AADL, un langage pour décrire les architectures
III-9.1 Modélisation des séquences d’appel
III-9.1.1 Limitation du standard 1.0
Les sous-programmes AADL ne peuvent pas être explicitement instanciés dans une architecture.
Il n’est donc pas possible d’y faire référence, contrairement aux autres composants, tels que
les bus. Ce traitement particulier entraîne une certaine rigidité dans les modélisations.
Ainsi, les différents sous-programmes référencés par une séquence d’appel le sont de manière
statique, comme l’illustre le listing III.11. L’implantation thread_a.impl1 du thread thread_a
appelle sp_a.impl1. Si nous souhaitons décrire une autre configuration où thread_a appelle sp_a
.impl2, il est nécessaire d’écrire une autre implantation du thread.
1 thread thread_a end thread_a;
2 subprogram sp_a end sp2;
3
4 subprogram sp_a.impl1 end sp_a.impl1;
5 subprogram sp_a.impl2 end sp_a.impl2;
6
7 subprogram implementation thread_a.impl1
8 calls {
9 appel1 : subprogram sp_a.impl1;
10 };
11 end thread_a.impl1;
12
13 subprogram implementation thread_a.impl2
14 calls {
15 appel1 : subprogram sp_a.impl2;
16 };
17 end thread_a.impl2;
Listing III.11 – Modélisation de séquences d’appel en AADL 1.0
Parallèlement, du fait de l’instanciation implicite des sous-programmes appelé, la syntaxe
d’AADL 1.0 ne permet pas de spécifier qu’un sous-programme appelé est fourni par un autre
thread que le thread courant. De la même façon, aucune construction syntaxique ne permet d’indiquer
un appel à un sous-programme fourni par un composant de donnée. Dans ces deux situations,
le standard propose de recourir à un mécanisme d’annexe afin de préciser à quel composant les
sous-programmes appelé sont attachés ; ne pas intégrer ce genre d’information directement dans
les constructions architecturales complique l’exploitation des descriptions.
III-9.1.2 Extension de la syntaxe
La solution que nous proposons est de promouvoir les sous-programmes AADL au même rang
que les autres catégories de composants, et ainsi de pouvoir les instancier.
Principes
Dans ces hypothèses, les processus, les threads et les données peuvent intégrer des sousprogrammes
comme sous-composants. Les processus étant des espaces de mémoire, la signification
d’une telle composition est relativement simple. Dans le cas des threads et des données, le
sous-programme sous-composant est implicitement déclaré dans les processus parent, mais uniquement
accessible depuis le thread ou la donnée.
c○ 2007 Thomas Vergnaud 47