Skip to Main content Skip to Navigation
Reports

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, Laboratoire I3S - 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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00137885
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, March 26, 2007 - 9:47:43 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 12:42:19 PM

Files

RR-6152.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

335

Files downloads

297