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

Chapitre IV – Utilisation d’AADL pour décrire une application répartie
L’interprétation des composants AADL proposée dans le standard AADL [SAE, 2006c] se
focalise sur des systèmes centralisés ; elle ne prend pas en compte la présence d’un intergiciel pour
assurer les communications. De la même façon que nous concevons une architecture d’exécutif
différente, notre interprétation des composants diverge également quelque peu des orientations
proposées actuellement par le standard.
Dans cette section nous décrivons les spécifications de l’exécutif AADL que nous définissons.
Ces spécifications correspondent à un raffinement de la sémantique décrite dans le standard. Nous
présentons également les patrons architecturaux AADL correspondant à ces spécifications.
IV-5.1 Relation avec les descriptions comportementales
Nous avons établi en section IV-4.2 que les sous-programmes AADL constituent la description
de l’application tandis que les threads AADL représentent l’intergiciel d’exécution. Seuls les sousprogrammes
sont donc censés encapsuler des descriptions comportementales.
L’exploitation des threads AADL est totalement prise en charge par le générateur d’exécutif ;
seules les descriptions comportementales associées aux sous-programmes sont pris en compte.
IV-5.2 Interprétation des séquences d’appel
Un sous-programme AADL peut contenir une séquence d’appels qui décrit son flux d’exécution.
Dans le cas de plusieurs séquences, le standard AADL stipule que celles-ci doivent être associées
à des modes de configuration distincts. Ainsi un sous-programme ne peut exécuter qu’une
seule séquence, correspondant à son mode de configuration. Cette approche limite la description
d’éventuels branchement conditionnels dans les composants ; de tels branchements correspondraient
en effet à un ensemble de modes de configuration.
Une telle logique de modélisation empêche de représenter de façon efficace des séquences
d’exécutions alternatives ; il faudrait alors les intégrer dans une modélisation complexe basée sur
des changements de mode systématiques. L’interprétation des séquences d’appel suggérée par le
standard suppose donc que les applications modélisées effectuent des actions systématiques et
inconditionnelles.
Nos travaux s’intéressent à la modélisation d’applications éventuellement complexes, qui sont
donc susceptibles de définir plusieurs flux d’exécution différents. Dans ces conditions, recourir
aux modes AADL conduirait à une explosion combinatoire des modes de configuration.
Nous adoptons donc une interprétation alternative.
Spécification IV.1 (Interprétation des séquences d’appels multiples)
L’implantation d’un sous-programme AADL peut contenir plusieurs séquences d’appels.
Ces séquences modélisent différents scénarios d’exécution possibles ; elles doivent être
coordonnées par une description comportementale associée au sous-programme.
Plusieurs séquences d’appel peuvent coexister au sein d’un même mode de configuration ;
elles modélisent alors différents flux d’exécution possibles. La description comportementale permettant
de contrôler ces flux doit être fournie par l’utilisateur, comme nous le décrirons dans les
chapitres V et VII.
Nous étendons ainsi la sémantique d’AADL sans la remettre en cause : il est toujours possible
de décrire une séquence d’appel par mode de configuration.
c○ 2007 Thomas Vergnaud 65