From multi-clock constraints to multi-rate GALS executives

Dumitru Potop-Butucaru 1 Yves Sorel 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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We define a method for synthesizing the asynchronous executives that are driving the synchronous modules of a globally synchronous, locally synchronous (GALS) system. The technique takes as input high-level synchronization constraints, under the form of multi-clock modular synchronous reactive (\SR) specifications. For each synchronous module, our technique produces a multi-rate executive that drives the communication and clock of the component using a mixed static/dynamic scheduling policy. The resulting GALS system is predictable and functionally correct with respect to the initial synchronous specification. The approach is based on the theory of weakly endochronous (\WE) systems, and on a notion of atomic reaction which allow us to exploit the concurrency of the specification to improve the communication efficiency of the executives.
Type de document :
Rapport
[Research Report] RR-6021, INRIA. 2006, pp.25
Liste complète des métadonnées

https://hal.inria.fr/inria-00114032
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 17 novembre 2006 - 14:04:08
Dernière modification le : jeudi 11 janvier 2018 - 16:14:46
Document(s) archivé(s) le : lundi 20 septembre 2010 - 16:38:04

Fichiers

RR-6021.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00114032, version 2

Collections

Citation

Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone. From multi-clock constraints to multi-rate GALS executives. [Research Report] RR-6021, INRIA. 2006, pp.25. 〈inria-00114032v2〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

123