Clockless Components and Relativity

Abstract : It is natural to think that the conceptual frame of electronic asynchronous DI-systems (Delay-Insensitive) is well adapted to the description of distributed systems constituted with mobile components because when components move, distances change and then also delays of propagation. But a closer look at this question shows that it would be interesting to place this study in the frame of relativity theory, even for non-moving components. The main reason is: time-like intervals of this theory have an objective character and introduce a partial time-order which also is objective. It means that this time-order relation can be measured the same by all observers, whatever the propagation speed of signals and whatever the movements of the events emitters and receivers. Moreover these intervals are well adapted to the discussion of the meaning of Udding's rules in term of causality, these rules being one way to define DI-systems. We propose a new formalism based on trace theory in order to deal with this partial order for intervals issued from relativity.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00389739
Contributeur : Philippe Matherat <>
Soumis le : vendredi 29 mai 2009 - 14:47:17
Dernière modification le : jeudi 11 janvier 2018 - 06:23:38
Document(s) archivé(s) le : lundi 15 octobre 2012 - 11:25:55

Fichier

ccr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00389739, version 1

Citation

Philippe Matherat. Clockless Components and Relativity. 2009. 〈hal-00389739v1〉

Partager

Métriques

Consultations de la notice

59

Téléchargements de fichiers

65