loading...
Visualization of Self-Stabilizing Distributed Algorithms
London, England July 06-July 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IV.2005.149Ninth International Conference on Inf ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Brahim Hamid, LaBri, ENSEIRB - University of Bordeaux-1
Mohamed Mosbah, LaBri, ENSEIRB - University of Bordeaux-1
In this paper, we present a method to build an homogeneous and interactive visualization of self-stabilizing distributed algorithms using Visidia platform. The approach developed in this work allows to simulate the transient failures and their correction mechanism. We use local computations to encode self-stabilizing algorithms like the distributed algorithms implemented in Visidia. The resulting interface is able to select some processes and incorrectly change their states to show the transient failures. The system detects and corrects these transient failures by applying correction rules. Many examples of self-stabilizing distributed algorithms are implemented.
Citation:
Brahim Hamid, Mohamed Mosbah, "Visualization of Self-Stabilizing Distributed Algorithms," iv, pp.550-555, Ninth International Conference on Information Visualisation (IV'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.