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
AADL nous fournit cela un formalisme permettant de décrire précisément les caractéristiques
de l’application pour en déduire les éléments de configuration de l’intergiciel. L’utilisation
d’AADL comme support central pour tous les aspects de la modélisation permet de rationaliser le
processus de développement et de vérification.
IV-3 Cycle de développement
De par sa complexité, le développement d’une application répartie pour un système embarqué
temps-réel nécessite une vérification régulière du respect des spécifications. Une approche
de développement itérative (ou cycle en « spirale ») permet une rétroaction entre l’application et
ses spécifications initiales. Une telle approche est dite « par prototypage » ; elle consiste en une
démarche de conception pas à pas permettant la validation régulière de l’architecture. Il est ainsi
possible de détecter les problèmes relativement tôt, ce qui permet d’éviter de coûteuse modifications
sur l’architecture finale.
IV-3.1 Principes du prototypage
Le terme « prototypage » recouvre deux notions différentes [Kordon et Luqi, 2002]. Le premier
type de prototypage est dit « jetable » (throw-away). Il s’agit de la création de prototypes
dans le but de valider les concepts avant d’implanter le système lui-même. On parle alors de maquettage.
Le maquettage est rarement utilisé lors du développement : du fait que les maquettes ne
sont pas réutilisées, elles ne sont exploitées qu’à des fins de raffinement des besoins du système.
L’utilisation d’AADL que nous avons présentée dans la section IV-1.
La seconde approche est dite « par évolution ». À la différence du maquettage, les prototypes
font partie intégrante du développement du système final. Chaque prototype est une pré-version
plus ou moins aboutie du système final, développée pour vérifier des propriétés que l’on attend
du système final. Les différents prototypes sont des raffinements les uns des autres afin de tendre
vers un système de plus en plus proche de ce que l’on souhaite. Le dernier prototype est en fait le
système final lui-même.
Nous basons notre méthodologie de développement sur une démarche de prototypage. Les
différents prototypes sont issus de la description AADL par transformation de modèle.
IV-3.2 Phases de conception
Nous définissons un cycle de conception en deux phases principales, correspondant à deux granularités
d’intergiciel différentes. La succession de ces deux phases est illustrée sur la figure IV.1.
Lors de chaque phase, le modèle AADL est exploité de différentes manières, comme illustré sur
la figure IV.2 :
– différentes opérations peuvent être effectuées pour vérifier la cohérence des contraintes exprimées
sur l’architecture ;
– un système exécutable peut être généré afin de tester la conformité vis-à-vis des contraintes
temporelles et spatiales ;
– différentes représentations formelles peuvent être extraites du modèle AADL afin de valider
le comportement des entités ;
Dans une première phase nous nous basons sur une description AADL simple de l’application
que nous voulons construire. Cette description correspond à l’utilisation d’un intergiciel très
général supposé capable de fournir tous les services de communication nécessaires.
c○ 2007 Thomas Vergnaud 59