Skip to main content
EURASIP Journal on Embedded Systems
Download PDF

Synchronous Modeling and Analysis of Data Intensive Applications

EURASIP Journal on Embedded Systems volume 2008, Article number: 561863 (2008) Cite this 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.

Publisher note

To access the full article, please see PDF.

Author information

Authors and Affiliations

  1. LIFL, CNRS/INRIA, Université de Lille 1, Parc de la Haute Borne, Bât A 40 avenue Halley, 59650, Villeneuve d'Ascq Cedex, France

    Abdoulaye Gamatié, Huafeng Yu, Pierre Boulet & Jean-Luc Dekeyser

  2. INRIA Rhône-Alpes, 655 avenue de l'Europe, Montbonnot, 38334, Saint-Ismier cedex, France

    Éric Rutten

Authors
  1. Abdoulaye Gamatié
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Éric Rutten
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Huafeng Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Pierre Boulet
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jean-Luc Dekeyser
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdoulaye Gamatié.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Gamatié, A., Rutten, É., Yu, H. et al. Synchronous Modeling and Analysis of Data Intensive Applications. J Embedded Systems 2008, 561863 (2008). https://doi.org/10.1155/2008/561863

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2008/561863

Keywords

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