Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints

A self-stabilizing system is one that converges to a legitimate state from any arbitrary state. Such an arbitrary state may be reachable due to wrong initialization or the occurrence of transient faults. Average recovery time of self-stabilizing systems is a key factor in evaluating their performance, especially in the domain of network and robotic protocols. This paper introduces a groundbreaking result on automated repair and synthesis of self-stabilizing protocols whose average recovery time is required to satisfy certain constraints. We show that synthesizing and repairing weak-stabilizing protocols under average recovery time constraints is NP-complete. To cope with the exponential complexity (unless P = NP), we propose a polynomial-time heuristic.

[1]  Ali Ebnenasir,et al.  A Lightweight Method for Automated Design of Convergence , 2011, 2011 IEEE International Parallel & Distributed Processing Symposium.

[2]  Sébastien Tixeuil,et al.  On the self-stabilization of mobile oblivious robots in uniform rings , 2015, Theor. Comput. Sci..

[3]  Ali Ebnenasir,et al.  Synthesizing Self-stabilization through Superposition and Backtracking , 2014, SSS.

[4]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[5]  Mohamed G. Gouda.  The Theory of Weak Stabilization , 2001, WSS.

[6]  Sébastien Tixeuil,et al.  Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking , 2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems.

[7]  Sébastien Tixeuil,et al.  Weak vs. Self vs. Probabilistic Stabilization , 2007, 2008 The 28th International Conference on Distributed Computing Systems.

[8]  C. R. Ramakrishnan,et al.  Model Repair for Probabilistic Systems , 2011, TACAS.

[9]  Ali Ebnenasir,et al.  On the Complexity of Adding Convergence , 2013, FSEN.

[10]  Borzoo Bonakdarpour,et al.  How Good is Weak-Stabilization? , 2013, SSS.

[11]  Borzoo Bonakdarpour,et al.  SMT-Based Synthesis of Distributed Self-stabilizing Systems , 2014, SSS.

[12]  Shlomi Dolev,et al.  Self-stabilizing group communication in directed networks , 2003, Acta Informatica.

[13]  Fuad Abujarad,et al.  Symbolic synthesis of masking fault-tolerant distributed programs , 2012, Distributed Computing.

[14]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[15]  Sébastien Tixeuil,et al.  Self-stabilizing Vertex Coloring of Arbitrary Graphs , 2000 .

[16]  Ted Herman.  Models of Self-Stabilization and Sensor Networks , 2003, IWDC.

[17]  Christel Baier,et al.  Principles of model checking , 2008 .

[18]  Mikhail Nesterenko,et al.  Comparing Self-Stabilizing Dining Philosophers through Simulation ? , 2013 .

[19]  Ted Herman,et al.  Probabilistic Self-Stabilization , 1990, Information Processing Letters.