Skip to Main content Skip to Navigation
Journal articles

Synchronous Modeling and Analysis of Data Intensive Applications

Abdoulaye Gamatié 1, 2, * Eric Rutten 3, * Huafeng Yu 1, 2 Pierre Boulet 1, 2 Jean-Luc Dekeyser 1, 2
* Corresponding author
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.
Complete list of metadatas

Cited literature [43 references]  Display  Hide  Download
Contributor : Ed. Bmc <>
Submitted on : Monday, February 4, 2013 - 1:12:41 PM
Last modification on : Friday, October 25, 2019 - 1:28:01 AM
Document(s) archivé(s) le : Monday, June 17, 2013 - 6:46:22 PM




Abdoulaye Gamatié, Eric 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⟩



Record views


Files downloads