A framework for proving the self-organization of dynamic systems

Emmanuelle Anceaume 1 Xavier Défago 2 Maria Potop-Butucaru 3, 4 Matthieu Roy 5
1 ADEPT - Algorithms for Dynamic Dependable Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
4 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
5 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : This paper aims at providing a rigorous definition of self- organization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networks, cooperative robotics, or ad-hoc networks). We characterize different classes of self-organization through liveness and safety properties that both capture information regarding the system entropy. We illustrate these classes through study cases. The first ones are two representative P2P overlays (CAN and Pastry) and the others are specific implementations of Ω (the leader oracle) and one-shot query abstractions for dynamic settings. Our study aims at understanding the limits and respective power of existing self-organized protocols and lays the basis of designing robust algorithm for dynamic systems.
Type de document :
Rapport
[Research Report] Rapport LAAS n° 10746, 2010, pp.26
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00534372
Contributeur : Maria Potop-Butucaru <>
Soumis le : mardi 9 novembre 2010 - 14:22:42
Dernière modification le : jeudi 11 janvier 2018 - 06:26:29
Document(s) archivé(s) le : jeudi 10 février 2011 - 02:48:58

Fichiers

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

Identifiants

  • HAL Id : inria-00534372, version 1
  • ARXIV : 1011.2312

Citation

Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy. A framework for proving the self-organization of dynamic systems. [Research Report] Rapport LAAS n° 10746, 2010, pp.26. 〈inria-00534372〉

Partager

Métriques

Consultations de la notice

720

Téléchargements de fichiers

177