ABSTRACT

The purpose of this chapter is to (1) provide a brief description of the basic models of self-stabilization that have been used in designing fault-tolerant distributed algorithms; (2) provide detailed descriptions of models for sensor networks,1 P2P networks,2 and cooperative mobile agents;3 and (3) critically evaluate how efficiently the standard models of self-stabilization can be used to design fault-tolerant protocols for mobile environments1-3 in the presence of mobile clients (along with their constraints, such as low battery power, unreliable communication medium, frequent disconnection, and reconnection characteristics). We show how the standard models of self-stabilization can be modified to accommodate the requirements of a sensor network and provide a couple of example protocols. We also explore designing protocols for some simple global primitives using the modified models.4