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
AADL (politique d’ordonnancement, nombre de threads à prendre en charge, etc.). Un intergiciel
adaptable tel que PolyORB [Vergnaud et al., 2004] correspond typiquement à ces besoins et permet
obtenir un prototype de l’application complète offrant de bonne performances vis-à-vis des
besoins exprimés pour l’application.
description
comportementale
description
comportementale
enveloppe AADL
interface enveloppe/intergiciel
intergiciel d'exécution
description
comportementale
FIG. IV.4 – Place de l’exécutif AADL dans l’application
IV-4.3 Matérialisation de la modélisation de l’intergiciel
La distinction que nous pouvons effectuer entre l’application et l’intergiciel d’exécution au
niveau de la description architecturale permet de faciliter la description de l’intergiciel lors de
la seconde phase du cycle de modélisation. Cette phase de modélisation fine de l’intergiciel correspond
à l’expansion des threads AADL pour faire apparaître les structures de l’intergiciel sous
forme de sous-programmes AADL.
Dans cette seconde phase la plus grande part de l’intergiciel de communication est elle-même
décrit en AADL. Ceci implique de décrire en AADL les composants assurant la gestion des communications.
La description architecturale est plus précise, et offre donc un meilleur support pour
la vérification complète des nœuds de l’application.
IV-5 Spécifications de l’exécutif AADL
Dans la section précédente nous avons proposé une façon de structurer une description AADL
de façon à séparer clairement les descriptions comportementales, l’enveloppe applicative et la
configuration de l’intergiciel. Nous avons établi que la description AADL doit contenir l’ensemble
des caractéristiques de l’application.
L’objectif de nos travaux étant de produire automatiquement un système réparti, nous devons
nous assurer que l’exécutif AADL peut prendre en charge les constructions architecturales décrites.
Il est nécessaire de préciser quelles sont les constructions AADL valides et comment les
interpréter vis-à-vis de spécifications d’exécutif. Pour cela, nous devons définir des patrons architecturaux
permettant de guider la description des systèmes.
Ces patrons dépendent des spécifications de l’exécutif que nous souhaitons utiliser pour prendre
en charge l’exécution du code produit. Ils ne correspondent pas à la notion classique de patrons de
conception (design patterns, [Gamma et al., 2001]). Ils présentent des consignes générales pour la
description des architectures, mais ne décrivent pas une solution technique à un problème précis.
64 c○ 2007 Thomas Vergnaud