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
d’exécution, description comportementale d’un composant, protocole à utiliser pour un réseau,
etc.
III-8.1 Propriétés
Les propriétés constituent un aspect fondamental d’AADL. Elles permettent d’exprimer les
différentes caractéristiques des entités AADL telles que les composants, les sous-composants, les
éléments d’interface, les connexions, etc. Il est ainsi possible de décrire les contraintes s’appliquant
à l’architecture. Par exemple, les propriétés sont utilisées pour spécifier le temps d’exécution théorique
d’un sous-programme, la période d’un thread, le protocole de file d’attente utilisé pour un
port d’événement/donnée, etc.
III-8.1.1 Déclarations de propriétés
Les déclaration de propriétés sont regroupées dans des ensembles de propriétés (property
sets), semblables aux paquetages. Il existe trois types de déclarations : les types de propriétés,
les constantes et les noms de propriétés.
Généralités
Une propriété se définit par un nom, un type, la liste des éléments auxquels elle peut s’appliquer,
et éventuellement une valeur par défaut. Les types de propriétés peuvent être définis à partir
de types de base (chaîne de caractère, booléen, entier, réel, énumération, référence à une instance
de composant ou référence à une déclaration de composant, plage de valeurs). Un type peut être
une valeur simple ou une liste. Il est également possible de définir des unités. Des exemples de
déclaration de propriété sont présentés sur le listing III.7.
1 property set Utilisateur is
2 Compiler : aadlstring => "gcc" applies to (subprogram,
thread);
3 Pressure : type units (Pa, hPa => Pa * 100);
4 Pressure_Range : range of Pressure applies to (device);
5 Version : aadlinteger applies to (all);
6 end Utilisateur;
Listing III.7 – Déclarations de propriétés
Le standard AADL définit deux ensembles de propriétés : AADL_Properties contient les déclarations
des propriétés standard et AADL_Project celles des propriétés de projet. Les propriétés
standard ne peuvent pas être modifiées ; en revanche les propriétés de projet peuvent être adaptées
en fonction des dimension de l’architecture qu’on l’on décrit ou des technologies que l’on a sa
disposition.
1 property set AADL_Properties
2 Source_Language : Supported_Source_Languages
3 applies to (subprogram, data, thread, process, bus,
device, processor);
4
5 Thread_Limit : aadlinteger 0 .. value (Max_Thread_Limit)
6 => value (Max_Thread_Limit)
7 applies to (processor);
8 end AADL_Properties;
42 c○ 2007 Thomas Vergnaud