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
est le fondement de l’approche MDA, qui utilise le langage UML pour décrire les différents modèles.
VIII-1.1.2 Spécification des besoins
AADL peut être représenté selon différentes syntaxes, comme nous l’avons vu au chapitre III.
La conception d’un outil pour AADL est donc plus complexe que celle d’un compilateur classique,
puisque nous ne pouvons pas nous baser sur une syntaxe particulière. Par ailleurs, l’exploitation
d’AADL ne se restreint pas à la génération de code : une description AADL peut être analysée
(vis-à-vis des contraintes temporelles, de l’ordonançabilité, etc.), exploitée pour générer du code,
utilisée à des fins de documentation, etc. Le traitement d’une description AADL ne doit donc pas
dépendre de la représentation syntaxique, ni d’une exploitation particulière.
Panorama des outils existants
Parmi les différents outils existent pour la manipulation ou l’exploitation de descriptions
AADL, Osate et Stood sont les plus aboutis.
Osate (Open Source AADL Tool Environment) est un logiciel développé par des membres
du comité AADL [SAE, 2006a] afin de fournir un outil de référence pour la manipulation de
descriptions AADL. Il s’intègre dans l’environnement de développement Eclipse dont il utilise
les fonctionnalités de méta-modélisation EMF [Budinsky et al., 2003]. Osate en lui-même fournit
essentiellement la gestion du méta-modèle et le parseur pour la syntaxe textuelle ; il est conçu pour
accueillir des modules d’extensions qui se reposent sur le méta-modèle central, tels que l’éditeur
graphique issu du projet Topcased [Farail et Gaufillet, 2005].
Stood est un logiciel commercialisé par Ellidiss [Dissaux, 2003] qui implante la méthode de
conception HOOD [Dissaux, 1999] au sein d’un méta-modèle central. Stood offre des passerelles
entre le méta-modèle de HOOD et les notations UML et AADL. Cette approche permet notamment
de centraliser les mécanismes de production de code.
En se basant sur une approche par méta-modèle, Osate et Stood permettent de représenter
l’ensemble du modèle AADL selon différentes syntaxes. Osate intègre un éditeur de texte basé
sur Eclipse, ainsi qu’un éditeur graphique, fourni par le projet Topcased, tandis que Stood propose
plusieurs vues graphiques (en UML, HOOD et AADL) d’un même modèle.
Champs d’application d’Ocarina
Dans le cadre de nos travaux, nous avions besoin d’un outil permettant à la fois de manipuler
AADL, et également de s’intégrer dans des applications existantes, notamment GLADE afin de
valider l’approche que nous développons dans la section IV-1. L’objectif était donc de concevoir
un outil modulaire qui puisse être intégré dans des applications existantes ; il s’agit donc de la
démarche inverse de celle qui sous-tend la conception d’Osate. Par ailleurs, Stood est un outil
propriétaire, et ne peut pas être réutilisé.
L’existence de multiples syntaxes permet de structurer la description AADL en différentes
vues, chacune correspondant à un aspect de la modélisation architecturale. Ainsi, la syntaxe textuelle
est bien adaptée à la définition des différents composants de l’architecture : la totalité des
propriétés peut être décrite avec précision, les types associés aux éléments d’interface apparaissent
clairement, etc. À l’inverse, l’usage de la syntaxe graphique facilite la description du déploiement
des nœuds de l’application en fournissant une approche « visuelle » et relativement intuitive de
l’architecture.
150 c○ 2007 Thomas Vergnaud