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

3
Chapitre III – AADL, un langage pour décrire les architectures
4 processor implementation processeur_a.f40MHz
5 properties
6 Clock_Period => 25 ns;
7 end processeur_a.f40MHz;
8
9 system ordinateur
10 end ordinateur;
11
12 system implentation ordinateur.overclock
13 subcomponents
14 processeur1 : processor processeur_a.f40MHz {Clock_Period => 20
ns;};
15 end ordinateur.overclock;
Listing III.9 – Associations de valeurs aux propriétés
La valeur d’une propriété est déterminée en cherchant sa valeur dans l’ordre suivant (illustré
sur la figure III.7) :
1. dans l’instance de l’entité ;
2. dans la déclaration de l’implantation correspondante ;
3. dans les éventuelles déclarations d’implantation dont dérive l’implantation du composant ;
4. dans la déclaration du type correspondant à l’implantation ;
5. dans les éventuelles types de composant dont dérive le type du composant ;
6. dans l’instance parente.
Une propriété à laquelle aucune valeur n’est associée est dite indéfinie.
III-8.2 Annexes
instance
parente
6
1
instance
4 5
type 1 type 2
2 3
impl. 1A impl. 1B
FIG. III.7 – Ordre d’évaluation des propriétés
Les annexes sont un autre moyen d’associer des informations aux éléments d’une description.
Contrairement aux propriétés, elles ne peuvent être associées qu’aux déclarations de composants
et permettent d’insérer des informations exprimée dans une syntaxe indépendante. L’utilisation
des annexes permet donc d’étendre la syntaxe standard d’AADL afin de spécifier le comportement
des composants [SAE, 2006b], introduire un modélisation des erreurs [SAE, 2005 ; Rugina et al.,
c○ 2007 Thomas Vergnaud 45