Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone

Yue Ma 1 Thierry Gautier 1 Jean-Pierre Talpin 1 Paul Le Guernic 1 Huafeng Yu 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : AADL est dédié à la conception de haut niveau et l'évaluation de systèmes embarqués. Il permet de décrire la structure d'un système et ses aspects fonctionnels par une approche à base de composants. Des processus localement synchrones sont alloués sur une architecture distribuée et communiquent de manière globalement asynchrone (système GALS). Une spécificité du modèle polychrone est qu'il permet de spécifier un système dont les composants peuvent avoir leur propre horloge d'activation : il est bien adapté à une méthodologie de conception GALS. Dans ce cadre, l'atelier Polychrony fournit des modèles et des méthodes pour la modélisation, la transformation et la validation de systèmes embarqués. Cet article propose une méthodologie pour la modélisation et la validation de systèmes embarqués spécifiés en AADL via le langage synchrone multi-horloge Signal. Cette méthodologie comprend la modélisation de niveau système en AADL, des transformations automatiques du modèle AADL vers le modèle polychrone, la distribution de code, la vérification formelle et la simulation du modèle polychrone. Notre transformation prend en compte l'architecture du système, décrite dans un cadre IMA, et les aspects fonctionnels, les composants logiciels pouvant être mis en œuvre en Signal. La génération de code distribué est obtenue avec Polychrony. Une étude de cas illustre notre méthodologie pour la conception fiable des applications AADL.
Type de document :
Article dans une revue
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00639589
Contributeur : Yu Huafeng <>
Soumis le : mercredi 9 novembre 2011 - 15:44:04
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : jeudi 15 novembre 2012 - 11:35:21

Fichier

ma_jesa11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00639589, version 1

Citation

Yue Ma, Thierry Gautier, Jean-Pierre Talpin, Paul Le Guernic, Huafeng Yu. Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011. 〈hal-00639589〉

Partager

Métriques

Consultations de la notice

451

Téléchargements de fichiers

286