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
un port d’événement/donnée et des sous-programmes d’interface. Par rapport à la sémantique que
nous avons définie en IV-5.2, les sous-programmes fournis en interface d’un thread peuvent être
interprétés comme des séquences d’appel constituée d’un seul appel de sous-programme.
IV-6 Conclusion
Nous avons présenté deux façons d’exploiter le langage AADL. Tout d’abord une utilisation
restreinte, limitée à la description du déploiement des applications. Nous avons ensuite défini un
processus de conception dans lequel AADL est utilisé comme langage central pour rassembler
tous les aspects de la description de l’application.
Ce processus de conception repose sur la spécification d’un exécutif assurant les fonctions de
communication. La construction et la configuration de cet exécutif nécessite la prise en compte des
paramètres fonctionnels, tels que les communications à assurer, ainsi que des paramètres non fonctionnels,
comme les dimensions de l’application – tant temporelles que spatiales. Ces paramètres
doivent être exprimés dans la modélisation AADL.
Ces contraintes doivent être respectée par l’ensemble constitué de l’application et de son intergiciel
; il doivent être développés conjointement. Nous avons présenté un processus de conception
permettant d’intégrer les différents aspects de l’application au sein d’une unique modélisation
AADL. Notre processus se base sur une approche par prototypage afin de produire l’application
finale par raffinement successifs. Par sa capacité à transporter toutes les informations nécessaires
à la description des architectures, AADL nous sert de langage fédérateur : il est ainsi possible
d’utiliser plusieurs outils pour tester l’ordonnançabilité, s’assurer du respect des contraintes de
place mémoire, simuler l’architecture à partir des descriptions comportementales puis finalement
générer un exécutable. À chaque raffinement, il est possible d’exploiter la description AADL afin
de vérifier les propriétés théoriques de l’application, que ce soit par analyse des dimensions ou
modélisation formelle.
L’approche que nous suivons dans la modélisation consiste à considérer que l’exécutif est
matérialisé par la description AADL. L’exécutif coordonne les descriptions comportementales
encapsulées par les différents composants AADL. De cette façon, la reconfiguration et le paramétrage
de l’application se fait exclusivement au niveau de la modélisation AADL. Sur différents
aspects, notre démarche constitue une alternative à l’approche actuellement proposée dans le standard
AADL.
Notre processus se partage en deux phases, correspondant au degré de précision dans la description
de l’intergiciel supportant l’exécution de l’application. La première phase consiste à assimiler
l’exécutif AADL à l’intergiciel, alors représenté par les threads AADL. La seconde phase
consiste à préciser la structure de l’intergiciel en AADL afin de l’intégrer dans les processus d’analyse
et de vérification. Cette étape se matérialise par une expansion des threads AADL pour faire
apparaître les composants de l’intergiciel.
Pour pouvoir donner lieu à la génération d’un système exécutable, il est nécessaire de guider
l’utilisateur pour qu’il décrive une architecture cohérente vis-à-vis des spécifications de l’exécutif
que nous définissons. L’application de patrons architecturaux pour décrire l’application permet
d’avoir une description normalisée, qui sera reconnue par le générateur d’application que nous
décrivons dans les chapitres V, VI et VII. Ces chapitres exposent la mise en place des opérations
permettant la réalisation de notre processus de conception.
70 c○ 2007 Thomas Vergnaud