Advertisement

EURASIP Journal on Embedded Systems

, 2008:561863 | Cite as

Synchronous Modeling and Analysis of Data Intensive Applications

  • Abdoulaye Gamatié
  • Éric Rutten
  • Huafeng Yu
  • Pierre Boulet
  • Jean-Luc Dekeyser
Open Access
Research Article

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.

Keywords

Design Approach Original System System Description Electronic Circuit Full Article 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Publisher note

To access the full article, please see PDF.

Copyright information

© Abdoulaye Gamatié et al. 2008

This article is published under license to BioMed Central Ltd. 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.

Authors and Affiliations

  • Abdoulaye Gamatié
    • 1
  • Éric Rutten
    • 2
  • Huafeng Yu
    • 1
  • Pierre Boulet
    • 1
  • Jean-Luc Dekeyser
    • 1
  1. 1.LIFL, CNRS/INRIAUniversité de Lille 1Villeneuve d'Ascq CedexFrance
  2. 2.INRIA Rhône-AlpesSaint-Ismier cedexFrance

Personalised recommendations