Synchronous Modeling and Analysis of Data Intensive Applications

Abdoulaye Gamatié 1, 2, * Éric Rutten 3, * Huafeng Yu 1, 2 Pierre Boulet 1, 2 Jean-Luc Dekeyser 1, 2
* Auteur correspondant
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We present the modeling of data-intensive parallel applications following the synchronous approach. We consider the GASPARD environment, which is dedicated to high-performance system-on-chip (SoC) codesign. Our motivation is to bridge the gap between the GASPARD design approach and the formal validation techniques provided by the synchronous technology. First, we define a synchronous dataflow equational model of GASPARD models. The modeling formalism adopted in GASPARD consists of an extension of the domain-specific language Array-OL. Then, we address correctness issues (e.g., causality and synchronizability analyses) about GASPARD models via their corresponding synchronous descriptions in order to formally validate the original system descriptions.
Type de document :
Article dans une revue
EURASIP Journal on Embedded Systems, SpringerOpen, 2008, 2008 (1), pp.561863. 〈10.1155/2008/561863〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00784459
Contributeur : Ed. Bmc <>
Soumis le : lundi 4 février 2013 - 13:12:41
Dernière modification le : mercredi 11 avril 2018 - 01:57:03
Document(s) archivé(s) le : lundi 17 juin 2013 - 18:46:22

Identifiants

Citation

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP Journal on Embedded Systems, SpringerOpen, 2008, 2008 (1), pp.561863. 〈10.1155/2008/561863〉. 〈hal-00784459〉

Partager

Métriques

Consultations de la notice

420

Téléchargements de fichiers

259