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
– flux ;
– annexes (bibliothèques et sous-clauses).
La structure de l’arbre d’instance reprend la plupart des constructions de l’arbre de modèle,
en y introduisant quelques modifications. L’une des différences fondamentales entre le modèle
et l’instance est que cette dernière décrit une hiérarchie complète de composants alors que le
modèle ne décrit en définitive qu’un arbre de profondeur 2 dont les feuilles sont les déclarations
de composants. Les entités présentes dans l’arbre d’instance sont plus restreintes :
– espaces de nom (paquetages) ;
– instances de composants ;
– instances de sous-clauses :
– instances d’éléments d’interface,
– instances de sous-composants,
– instances de séquences d’appels et appels de sous-programmes,
– instances de connexions,
– instances de modes,
– instances de flux ;
– associations de propriétés.
Les définitions de propriétés n’apparaissent pas dans l’arbre d’instance : seul les associations
sont représentées. Les types et implantations de composants sont agrégés au niveau des
instances. Les sous-composants sont des simples liens entre les instances de composant et leurs
sous-instances. Par convention, les instances de composants sont détachées de leur éventuel paquetage
de déclaration et sont insérés dans la hiérarchie ; l’espace de nom anonyme devient donc
implicite.
L’utilisation de deux représentations distinctes pour les déclarations et les instances permet la
création de multiples instanciations d’architectures, correspondant à différents systèmes, au sein
d’une même exécution d’Ocarina. Cette séparation permet également de préserver l’ensemble des
déclarations, et ainsi d’effectuer des traitements séparés sur les déclarations et les instances. Nous
en illustrerons l’intérêt en section VIII-1.4.
VIII-1.3 Organisation d’Ocarina
Ocarina est constitué d’un cœur sur lequel sont branchés différents modules. Ces modules se
comportent comme des applications faisant appel aux services et à l’API du cœur. Il en existe trois
types, dont l’agencement est décrit sur la figure VIII.1 :
– modules d’entrée/sortie ;
– modules de transformation ;
– générateurs.
Les modules d’entrée/sortie permettent de parser des fichiers AADL ou d’afficher l’arbre du
cœur selon une différentes syntaxes (textuelle, graphique, représentation XML. . .). Ocarina fournit
actuellement un parseur/afficheur pour la syntaxe textuelle d’AADL ainsi qu’un module pour les
fichiers de l’éditeur de diagramme Dia.
Les modules de transformation peuvent permettre l’expansion de l’arbre du cœur pour mettre
en place des transformations d’architecture que nous avons décrites en section VI-3, page 107.
Les générateurs permettent de produire différentes représentations – en l’occurrence du code
source ou des réseaux de Petri – à partir de la représentation AADL. Nous avons développé un
générateur appelé Gaia [Vergnaud et Zalila, 2006] qui prend en charge les différentes générations
que nous avons décrites dans les chapitres V et VII, et un autre générateur appelé PN permettant
152 c○ 2007 Thomas Vergnaud