• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Synchronous Modeling and Analysis of Data ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Article dans une revue scientifique
DOI :
10.1155/2008/561863
Title :
Synchronous Modeling and Analysis of Data Intensive Applications
Author(s) :
Gamatié, Abdoulaye [Auteur correspondant]
Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Rutten, Eric [Auteur correspondant]
Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time [POP ART]
Yu, Huafeng [Auteur]
Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Boulet, Pierre [Auteur] orcid refId
Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Dekeyser, Jean-Luc [Auteur] refId
Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Journal title :
EURASIP Journal on Embedded Systems
Pages :
561863
Publisher :
SpringerOpen
Publication date :
2008
ISSN :
1687-3955
HAL domain(s) :
Informatique [cs]
English abstract : [en]
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 ...
Show more >
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.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.inria.fr/hal-00784459/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/hal-00784459/file/1687-3963-2008-561863.xml
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1155/2008/561863
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/hal-00784459/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017