ADeS, un simulateur pour AADL

Introduction

ADeS est un logiciel de simulation du comportement d'architectures systèmes décrites avec le langage AADL. Le nom de cet outil signifie d'ailleurs Architecture Description Simulation. Cet outil permet d'évaluer et d'analyser le comportement d'un système au cours de sa spécification en AADL, par exemple en aidant au choix des paramètres de dimensionnement : que va-t-il se passer si l'on augmente tel temps d'exécution ? si l'on change telle échéance ? si l'on déplace une tâche sur un autre processeur ?

ADeS se présente comme un plug-in Eclipse, bâti sur Osate, un plug-in de modélisation AADL développé par le SEI, et sur le projet Topcased. Ce choix technique assure une installation aisée et une interopérabilité parfaite entre outils AADL.

La version initiale d'ADeS a débuté dès 2002 lors d'une étude conjointe avec l'Agence spatiale européenne (ESA) pour évaluer l'intérêt que présente AADL pour le domaine spatial. Le standard AADL était alors en pleine élaboration et ce développement a contribué à le stabiliser.


Capture d'écran ADeS

Le déroulement d'une simulation se fait en plusieurs phases :

  1. Analyse lexicale, syntaxique et sémantique de la description AADL : cette phase consiste à vérifier que la description fournie en entrée est correcte, et remonter les éventuelles erreurs à l'utilisateur, puis à construire une représentation interne de l'architecture utile aux phases suivantes. L'analyseur AADL ici utilisé est fourni directement par le plug-in Osate ;
  2. Instanciation des objets de simulation : chaque élément de l'architecture décrite est représenté par un ou plusieurs éléments de simulation capables de représenter le comportement de l'élément AADL tel que décrit par le standard du langage ;
  3. Simulation proprement dite : les éléments de simulation sont activés pour simuler le comportement de l'architecture. Les résultats sont mis en forme et présentés à l'utilisateur.

Description

Conformité au standard

ADeS a vocation à supporter la totalité des comportements décrits par le standard AADL. Dans sa version courante, encore en développement, seul un sous-ensemble est implanté.

À terme ADeS supportera également l'annexe comportementale en cours d'élaboration par le comité de standardisation, mais non encore figée.

Résultats de la simulation

La totalité des résultats de la simulation est tracée et enregistrée dans des logs. Ces informations peuvent être exploitées a posteriori à des fins d'analyse ou de rejeu.

Flexibilité

ADeS a été conçu pour proposer un maximum de flexibilité. Il est possible d'aisément ajouter de nouvelles politiques d'ordonnancement, de gestion des files d'attentes, etc. ADeS peut aussi être adapté à la simulation d'autres comportements que ceux définis par le standard AADL.

Processus de développement

État courant

Dans son état actuel ADeS est encore un prototype. La priorité de ses développements est de représenter de la manière la plus fine et la plus fidèle possible la totalité des comportements spécifiés par le standard AADL. La représentation graphique ne reflète donc pas encore tous les résultats soujacents.

ADeS est dépendant des capacités d'OSATE, outil de modélisation AADL sur lequel il est construit. Certaines constructions AADL ne sont pas aujourd'hui instanciables de manière satisfaisantes. C'est par exemple le cas des sous-programmes.

Axlog est cependant prêt à adapter les priorités et orienter les développements dans le but de répondre au mieux à des besoins plus spécifiques exprimés par les utilisateurs. Pour cela, n'hésitez pas à nous contacter directement.

Téléchargement

ADeS est disponible en téléchargement. Voir pour cela la page dédiée.

ADeS est maintenant hébergé sur le site GForge de Topcased : http://gforge.enseeiht.fr/projects/ades.


mise à jour le 2007-12-04