Visualization of self-stabilizing distributed algorithms

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.