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
le temps d’accès en lecture à une mémoire, Subprogram_Execution_Time définit la plage de temps
d’exécutions pour un sous-programme, etc.
De même, Source_Code_Size, Source_Heap_Size permettent d’exprimer les contraintes en
taille mémoire.
Association des composants logiciels à la plate-forme d’exécution
Le déploiement des composants applicatifs sur la topologie matérielle est spécifiée par des
propriétés AADL.
Actual_Connection_Binding, Actual_Memory_Binding et Actual_Processor_Binding peuvent
être utilsées pour indiquer respectivement par quel bus, mémoire ou processeur est porté une
connexion, une donnée ou processus. Par ailleurs, des propriétés telles que Thread_Limit permettent
de spécifier les limitations du système d’exploitation des processeurs en terme de capacité
d’ordonnancement.
III-8.1.2 Associations de propriétés
Les associations de propriétés permettent d’attribuer une valeur à une propriété (c’est-à-dire
associer une valeur à un nom de propriété).
Déclarations
Les associations de propriétés peuvent intervenir dans trois situations différentes :
– déclarées dans un paquetage ;
– déclarées dans la section « properties » d’un composant ;
– directement attachées à une sous-clause.
Lorsqu’une association est réalisée au niveau d’un paquetage, elle concerne tous les composants
du paquetage auxquels la propriété peut s’appliquer.
Une propriété déclarée dans la section « properties » d’un composant s’applique dans le
cadre de ce composant. La déclaration s’applique au composant en question, sauf si l’association
contient le mot-clé applies to ; dans ce cas la propriété s’applique à la déclaration désignée par
applies to. Cette déclaration peut être une sous-clause du composant, ou une sous-clause du
composant référencé par la sous-clause, et ainsi de suite, selon ce qu’indique le applies to.
Si l’association est réalisée au niveau d’une sous-clause (par exemple. un sous-composant),
elle s’applique dans le cadre de la sous-clause en question. Si le mot-clé applies to est utilisé, la
propriété s’applique à une sous-clause du composant référencé par la sous-clause. Il s’agit donc du
même principe que pour le cas précédent, mais appliqué à une sous-clause au lieu de la déclaration
d’un composant.
Valeurs associées aux propriétés
La valeur associée à une propriété peut être une valeur simple ou une liste de valeurs simples,
selon le type de la propriété. Dans le cas d’une liste, il est possible d’ajouter des éléments à la
valeur déjà définie pour la propriété, dans le cas où une valeur aurait déjà été associée à la propriété
(valeur par défaut dans la déclaration ou déjà définie par ailleurs). Une valeur peut également être
une référence à la valeur d’une autre association de propriété ou à une constante.
1 processor processeur_a
2 end processeur_a;
44 c○ 2007 Thomas Vergnaud