Modelisation compositionnelle d'architectures GALS dans un modele de calcul polychrone

摘要

AADL est dedie a la conception de haut niveau et l'evaluation de systemes embarques. Il permet de decrire la structure d'un systeme et ses aspects fonctionnels par une approche a base de composants. Des processus localement synchrones sont alloues sur une architecture distribuee et communiquent de maniere globalement asynchrone (systeme GALS). Une specificite du modele polychrone est qu 'il permet de specifier un systeme dont les composants peuvent avoir leur propre horloge d'activation: il est bien adapte a une methodologie de conception GALS. Dans ce cadre, l'atelier Polychrony fournit des modeles et des methodes pour la modelisation, la transformation et la validation de systemes embarques. Cet article propose une methodologie pour la modelisation et la validation de systemes embarques specifies en AADL via le langage synchrone multi-horloge Signal, Cette methodologie comprend la modelisation de niveau systeme en AADL, des transformations automatiques du modele AADL vers le modele polychrone, la distribution de code, la verification formelle et la simulation du modele polychrone. Notre transformation prend en compte l'architecture du systeme, decrite dans un cadre IMA, et les aspects fonctionnels, les composants logiciels pouvant etre mis en oeuvre en Signal. La generation de code distribue est obtenue avec Polychrony. Une etude de cas illustre notre methodologie pour la conception fiable des applications AADL.