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

Huafeng Yu 1 Abdoulaye Gamatié 1 Eric 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.
Liste complète des métadonnées

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00124125
Contributor : Huafeng Yu <>
Submitted on : Friday, January 12, 2007 - 1:46:34 PM
Last modification on : Tuesday, March 5, 2019 - 2:46:07 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 8:55:35 PM

File

yu_sympa06.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00124125, version 1

Citation

Huafeng Yu, Abdoulaye Gamatié, Eric 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. ⟨inria-00124125⟩

Share

Metrics

Record views

292

Files downloads

178