Necessary and Sufficient Conditions for Deterministic Desynchronization

Dumitru Potop-Butucaru 1 Robert De Simone 1 Yves Sorel 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 : Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can be reacted upon. But in desynchronized (distributed) implementations, absent values must be explicitely exchanged, unless behaviors were already provably independent and asynchronous (a property formerly introduced as endochrony). We provide further criteria restricting "reaction to absence" for correct desynchronization.
Type de document :
Rapport
[Research Report] RR-6152, INRIA. 2007, pp.21
Liste complète des métadonnées

https://hal.inria.fr/inria-00137885
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 26 mars 2007 - 09:47:43
Dernière modification le : mardi 17 avril 2018 - 11:30:49
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:42:19

Fichiers

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

Identifiants

  • HAL Id : inria-00137885, version 2

Collections

Citation

Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel. Necessary and Sufficient Conditions for Deterministic Desynchronization. [Research Report] RR-6152, INRIA. 2007, pp.21. 〈inria-00137885v2〉

Partager

Métriques

Consultations de la notice

260

Téléchargements de fichiers

127