Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués

Anthony Coadou 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This thesis defines a new model of computation and communication, called k-periodically routed graph (KRG). This model belongs to the family of dataflow process networks. Data routings are regular and explicit, in the form of k-periodic binary sequences. We study mathematical and behavioral properties of KRGs. Because of explicit routings and conflict-freeness, data dependencies can be expressed in algebraic terms, as well as behavior-preserving topological transformations. Then we show how KRG schedules can be expressed using k-periodic clocks. We position our model in the heart of a design flow, dedicated to data-intensive processing applications. In particular we show KRG abilities of explicit modeling of instruction-level parallelism, extracted from a polyhedral model. Low level optimizations, out of the scope of polyhedral models, can then be applied to the design. Finally we present a methodology for implementing KRGs, based on latency-insensitive design.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00545008
Contributor : Anthony Coadou <>
Submitted on : Thursday, March 10, 2011 - 4:39:31 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Long-term archiving on : Saturday, June 11, 2011 - 2:50:11 AM

Identifiers

  • HAL Id : tel-00545008, version 4

Collections

Citation

Anthony Coadou. Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués. Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2010. Français. ⟨tel-00545008v4⟩

Share

Metrics

Record views

418

Files downloads

381