Construction of a Fault - Tolerant Wireless Communication Topology for Networked Embedded Systems oder “ Implementing the Thallner - Algorithm ”

Abstract

This master’s thesis presents a proven-correct implementation of a distributed topology construction algorithm based upon the Thallner topology construction method for creating a minimal ∆-node connected fault-tolerant overlay graph. The algorithm works in asynchronous fault-tolerant distributed systems augmented with failure detectors. A detailed proof shows that given a perfect propose module and a period of network stability, the unique minimal overlay graph is built. This thesis also contains a solvability analysis examining how the algorithm can be implemented in the presence of simple crash failures, in the crash-recovery model and in the presence of lossy links.1

15 Figures and Tables

Cite this paper

@inproceedings{Schmid2005ConstructionOA, title={Construction of a Fault - Tolerant Wireless Communication Topology for Networked Embedded Systems oder “ Implementing the Thallner - Algorithm ”}, author={Ulrich Schmid and Heinrich Moser}, year={2005} }