Skip to content


  • Research Article
  • Open Access

Synchronous Modeling and Analysis of Data Intensive Applications

  • 1Email author,
  • 2,
  • 1,
  • 1 and
  • 1
EURASIP Journal on Embedded Systems20082008:561863

  • Received: 4 July 2007
  • Accepted: 25 June 2008
  • Published:


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.


  • Design Approach
  • Original System
  • System Description
  • Electronic Circuit
  • Full Article

Publisher note

To access the full article, please see PDF.

Authors’ Affiliations

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