Hierarchic Normal Forms for Desynchronization

Jean-Pierre Talpin 1 Albert Benveniste 1 Benoit Caillaud 2 Paul Le Guernic 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct desynchronization- , meaning that the original synchronous semantics can be reconstructed from the result of this desynchronization. This theory can be used as a basis for correct distributed code generation. The present paper presents a new data structure, the hierarchic normal form for a transition relation, which is instrumental in implementing this theory. We illustrate this on a example. The whole approach is implemented in the Signal compiler.
Type de document :
[Research Report] RR-3822, INRIA. 1999
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:04:15
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:24:34



  • HAL Id : inria-00072836, version 1


Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. [Research Report] RR-3822, INRIA. 1999. 〈inria-00072836〉



Consultations de la notice


Téléchargements de fichiers