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

phase 1
phase 2
Modélisation des systèmes temps-réel répartis embarqués
modélisation de
l'application en AADL
expansion des
threads AADL
modélisation de
l'application et de
l'intergiciel en AADL
prototype exécutable sur un
intergiciel de haut niveau
système exécutable sur un
intergiciel de bas niveau
FIG. IV.1 – Cycle de conception en deux phases
Cette première phase permet de valider la structure en nœuds de l’application. La modélisation
produite par les premières itérations du raffinement peuvent éventuellement être trop vague pour
permettre la génération d’un système exécutable ; elle peut cependant être exploitée soit à des fins
de documentation (dans la mesure où la description reste encore assez abstraite) soit pour certaines
vérifications formelles.
Tous les éléments de configuration doivent être contenus dans le modèle, afin de caractériser
complètement l’application. À la fin de cette phase, nous devons obtenir un prototype conforme
aux spécifications fonctionnelles (notamment comportementales) de l’application. Dans la mesure
où nous n’avons qu’un contrôle limité sur la structure de l’intergiciel, les implantations exécutables
issues de cette modélisation peuvent faire une certaine abstraction des éléments de performance et
de dimensionnement comme la taille mémoire ou les temps d’exécution. Nous pouvons néanmoins
faire une première évaluation du respect des contraintes temporelles ou spatiales.
La seconde phase du développement consiste à déduire une modélisation en AADL de l’intergiciel
à partir de la description de l’application. La description complète (application et intergiciel)
peut alors être analysée et simulée afin d’en évaluer les dimensions exactes, s’assurer de sa fiabilité
et de son adéquation avec les besoins. Dans cette dernière phase, le concepteur a une maîtrise complète
de tous les aspects de l’application répartie, et peut donc en ajuster finement les différents
paramètres, par exemple en sélectionnant tel ou tel composant.
L’approche que nous avons décrite à la section IV-1 ne s’intègre pas dans notre cycle de
conception. Les modélisations décrites en IV-1 peuvent être exploitées comme une phase de maquettage.
Compte-tenu de la capacité d’AADL à assembler des composants prédéfinis, des éléments
définis dans cette phase de maquettage peuvent être directement intégrés dans notre processus
et servir de point de départ à la première phase.
60 c○ 2007 Thomas Vergnaud