Modélisation des systèmes temps-réel répartis embarqués pour la ...

CHAPITRE VIII
Mise en pratique
DANS LES CHAPITRES PRÉCÉDENTS nous avons présenté un processus de conception basé sur
AADL. Nous avons montré comment exploiter AADL pour produire du code et l’exécutif
associé ; nous avons également montré comment exploiter une description AADL pour la vérification
formelle des applications.
Dans ce chapitre nous appliquons notre méthodologie sur des exemples concrets afin d’en
valider les performances. Nous présentons Ocarina, un compilateur pour AADL que nous avons
développé pour démontrer la validité de notre approche. Nous utilisons Ocarina pour évaluer les
performances d’exécution d’une application générée à partir d’AADL par rapport à une application
« classique ». Nous considérons également la modélisation d’un sous-système industriel afin de
d’étudier la viabilité de la transformation en réseaux de Petri.
VIII-1 Ocarina, un compilateur pour AADL
Afin de démontrer la faisabilité de notre approche, nous avons conçu et réalisé un outil permettant
de manipuler les descriptions AADL pour générer du code ou des réseaux de Petri : Ocarina.
Dans cette section nous décrivons son architecture et son fonctionnement.
VIII-1.1 Principes généraux
L’objectif de nos travaux est la génération d’applications vérifiées. Pour cela, nous avons dû
concevoir un outil permettant la génération de différentes représentations (essentiellement du code
source et des réseaux de Petri) à partir d’une description AADL.
VIII-1.1.1 Compilation et méta-modélisation
Le terme compilation désigne classiquement la transformation d’un programme décrit selon
une certains syntaxe en une autre représentation. Un compilateur est conçu pour reconnaître une
grammaire sans contexte, souvent définie en notation BNF (Backus-Naur Form). De façon simplifiée,
un compilateur lit les fichiers du programme, construit un arbre de syntaxe abstraite qui subit
éventuellement des transformations et des optimisations, puis génère un fichier exécutable.
La modélisation est une approche plus récente que la compilation. Elle est centrée sur l’arbre
de syntaxe abstraite, appelé modèle, qui est déconnecté de la représentation syntaxique. La modélisation
est souvent associée à la méta-modélisation et à la transformation de modèle. La métamodélisation
consiste à utiliser un modèle pour décrire un ensemble de modèles, en permettant de
passer d’un modèle à un autre en appliquant des règles de transformation. La méta-modélisation
c○ 2007 Thomas Vergnaud 149