EURASIP Journal on Embedded Systems
Volume 2008 (2008), Article ID 561863, 22 pages
doi:10.1155/2008/561863
Research Article

Synchronous Modeling and Analysis of Data Intensive Applications

Abdoulaye Gamatié,1 Éric Rutten,2 Huafeng Yu,1 Pierre Boulet,1 and Jean-Luc Dekeyser1

1LIFL, CNRS/INRIA, Université de Lille 1, Parc de la Haute Borne, Bât A 40 avenue Halley, 59650 Villeneuve d'Ascq Cedex, France
2INRIA Rhône-Alpes, 655 avenue de l'Europe, Montbonnot, 38334 Saint-Ismier cedex, France

Received 4 July 2007; Revised 8 March 2008; Accepted 25 June 2008

Academic Editor: Marc Pouzet

Copyright © 2008 Abdoulaye Gamatié et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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.