Another glance at Relay Stations in Latency-Insensitive Designs

Julien Boucaron 1 Jean-Vivien Millo 1 Robert De Simone 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 : We revisit the formal modeling of relay stations, which are specific connection elements used in the theory of Latency-Insensitive Design of Globally-Asynchronous/Locally-Synchronous systems. Relay stations are in charge of taking into account the physical mandatory latencies, while handling the regulation of signal/data traffic so as to avoid starvation, deadlock and congestion of local IP synchronous computation blocks. Since proposed by Carloni et al, the structure and behaviors of these relay stations have been amply characterized and analysed. But previous works never provided a fully formal and cycle-accurate description of these mechanisms, amenable to formal verification for instance (instead, mainly simulation models were developed). Due to the needed precision of the whole scheme we feel such a formal description might be needed. We describe such an attempt here. On its way, this work also led us to a number of (hopefully insightful) remarks on favorable and disfavorable graph topologies and initialization features, that are also reported here.
Type de document :
[Research Report] RR-5557, INRIA. 2005, pp.19
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 19 mai 2006 - 20:31:32
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:14:59



  • HAL Id : inria-00070449, version 1


Julien Boucaron, Jean-Vivien Millo, Robert De Simone. Another glance at Relay Stations in Latency-Insensitive Designs. [Research Report] RR-5557, INRIA. 2005, pp.19. 〈inria-00070449〉



Consultations de la notice


Téléchargements de fichiers