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

9
Chapitre III – AADL, un langage pour décrire les architectures
10 property set AADL_Project is
11 Max_Thread_Limit : constant aadlinteger
12 => ;
13
14 Supported_Source_Language : type enumeration ();
15 -- The following are examples software source languages:
16 -- (Ada95, C, Simulink_6_5)
17 end AADL_Project;
Listing III.8 – Extrait des déclarations de propriétés standard
Le listing III.8 donne un extrait des déclarations de propriétés standard qui illustre le paramétrage
des propriétés. La définition de certaines propriétés standard font référence à des définitions
relatives au projet. L’ensemble AADL_Project dépend donc des outils AADL, qui doivent le définir
en accord avec leurs propres possibilités ou limitations.
L’ensemble des propriétés standard permet d’exprimer un certain nombre de caractéristiques
sur les entités AADL. Nous en décrivons ici quelques unes, qui sont pertinentes pour nos travaux.
Périodes et politiques de déclenchement des threads
Le standard définit quatre politiques de déclenchement pour les threads, à l’aide de la propriété
Dispatch_Protocol :
– périodique ;
– apériodique ;
– sporadique ;
– tâche de fond (background).
Les threads périodiques se déclenchent d’eux-mêmes selon la période indiquée par la propriété
Period. Les threads apériodiques se déclenchent sur l’arrivée d’un événement ou d’une
donnée/événement sur l’un de leurs ports. Les threads sporadiques se déclenchent également à
l’arrivée d’un événement, mais avec une période de garde indiquée par la propriété Period. Les
threads en tâche de fond s’exécutent en continu.
Descriptions des implantations
Le standard défini trois propriétés permettant d’associer un code source aux composants :
– Source_Language permet de spécifier le langage utilisé dans la description ;
– Source_Text permet d’indiquer la liste des fichiers contenant la description ;
– Source_Name permet de préciser l’entité référencée dans le fichier (par exemple le nom de
la procédure).
La sélection du langage peut s’appliquer aux sous-programmes, données, threads, processus,
bus, dispositifs et processeurs, permettant ainsi de décrire les composants logiciels (sousprogrammes,
par exemple en C) ou matériels (processeurs, par exemple en VHDL).
Contraintes spatiales et temporelles
Diverses propriétés permettent d’exprimer les temps d’exécution ou de propagation à travers
les composants. Ainsi, la propriété Propagation_Delay permet de spécifier une plage de temps
correspondant au temps de propagation d’un signal à travers un bus, Read_Time permet d’indiquer
c○ 2007 Thomas Vergnaud 43