Synchronous Modeling and Analysis of Data Intensive Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue EURASIP Journal on Embedded Systems Année : 2008

Synchronous Modeling and Analysis of Data Intensive Applications

Résumé

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.
Fichier principal
Vignette du fichier
1687-3963-2008-561863.pdf (570.98 Ko) Télécharger le fichier
1687-3963-2008-561863.xml (3.33 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Format : Autre
Loading...

Dates et versions

hal-00784459 , version 1 (04-02-2013)

Identifiants

Citer

Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP Journal on Embedded Systems, 2008, 2008 (1), pp.561863. ⟨10.1155/2008/561863⟩. ⟨hal-00784459⟩
251 Consultations
325 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More