Vers des transformations d'applications à parallélisme de données en équations synchrones

Huafeng Yu 1 Abdoulaye Gamatié 1 Éric Rutten 1 Pierre Boulet 1 Jean-Luc Dekeyser 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Résumé : Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à parallélisme de données en équations synchrones. Les applications considérées sont exprimées à l'aide du métamodèle GASPARD qui étend le langage ARRAY-OL, dédié aux applications de traitement de données intensives. Le principe général des transformations envisagées est exposé ainsi que les idées de mise en oeuvre. Les modèles synchrones résultants permettent d'aborder plusieurs questions liées à la validation formelle, par exemple, vérification de propriétés de synchronisabilité, de latence, etc, en utilisant les outils et techniques formels offerts par la technologie synchrone. Ils permettent ainsi l'accès à des fonctionnalités complémentaires avec celles de l'environnement associé à GASPARD, qui propose uneméthodologie de conception conjointe matériel/logiciel de systèmes intégrés sur puce. Les transformations suivront une approche d'Ingénierie dirigée par les modèles (IDM/MDE). Des perspectives sont mentionnées concernant l'introduction d'automates de contrôle au sein des modèles obtenus.
Type de document :
Communication dans un congrès
9ème édition de SYMPosium en Architectures nouvelles de machines, Oct 2006, Perpignan, France, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00124125
Contributeur : Huafeng Yu <>
Soumis le : vendredi 12 janvier 2007 - 13:46:34
Dernière modification le : vendredi 30 mars 2018 - 16:12:17
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:55:35

Fichier

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

Identifiants

  • HAL Id : inria-00124125, version 1

Citation

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Pierre Boulet, Jean-Luc Dekeyser. Vers des transformations d'applications à parallélisme de données en équations synchrones. 9ème édition de SYMPosium en Architectures nouvelles de machines, Oct 2006, Perpignan, France, 2006. 〈inria-00124125〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

166