%0 Conference Proceedings %F aguerre:hal-00717500 %A Aguerre, Cédric %A Morsellino, Thomas %A Mosbah, Mohamed %T {Debugging the Execution of Distributed Algorithms over Anonymous Networks} %B {Proceedings of the International Conference on Information Visualisation} %P 464-470 %C Montpellier, France %X {Computing the global state of an asynchronous distributed system is a widely studied problem and finds a plethora of solutions under different assumptions. Most of them do not correspond to real-life requirements. In this paper, we address the global snapshot and the global predicate evaluation problems in anonymous and asynchronous networks. We present a fully-distributed solution which allows the debugging and the monitoring of such networks. We show that our contribution can be easily implemented and added as a new feature in existing simulation softwares by describing specifications of the used model and details of the development process. As an illustration, a debugging layer is implemented on the ViSiDiA platform.} %U http://hal.archives-ouvertes.fr/hal-00717500 %8 July %D 2012 %K Snapshot %K Stable properties %K Anonymous fully distributed system %K Visualization