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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [43 references]  Display  Hide  Download

https://hal.inria.fr/hal-00784459
Contributor : Ed. Bmc <>
Submitted on : Monday, February 4, 2013 - 1:12:41 PM
Last modification on : Tuesday, June 4, 2019 - 4:24:14 PM
Long-term archiving on : Monday, June 17, 2013 - 6:46:22 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

512

Files downloads

370