Previous [1] [2] [3] [4] [5] [6] [7] [8]

Journal of Inforamtion Science and Engineering, Vol.11 No.2, pp.307-319 (June 1995)
Distributed Self-Stabilizing Systems*

Lih-Chyau Wuu and Shing-Tsaan Huang#
Department of Electronic Engineering
National Yunlin Institute of Technology
Touliu, Taiwan, R.O.C.
*Department of Computer Science
National Tsing Hua University
Hsinchu, Taiwan, R.O.C.

A distributed system is self-stabilizing if, starting from any state, possibly illegitimate, the system is guaranteed to reach a legitimate state in finite time. The self-stabilization property makes a system tolerant to transient faults which usually arise from environmental disturbances such as electromagnetic noises or radiations. This paper was prepared as an introduction to self-stabilizing systems. Various execution models and proof techniques are first discussed. Applications of self-stabilizing systems are then addressed.

Keywords: distributed system, fault tolerance, protocol design, self-stabilization, transient faults

Received September 13, 1993; revised December 8, 1994.
Communicated by Chuan-lin Wu.
*This research was supported in part by the National Science Council of the Republic of China under the Contract NSC82-0408-E007-027.