[ main page ] [ back ]

2005 : Distributed Construction of a Fault-Tolerant Wireless Communication Topology for Networked Embedded Systems

Author(s)
Heinrich Moser
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 Delta-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.
Bibtex
@mastersthesis{ moser:2005,
  author =      "Heinrich Moser",
  title =       "Distributed Construction of a Fault-Tolerant Wireless Communication Topology for Networked Embedded Systems",
  address =     "Treitlstr. 3/3/182-2, 1040 Vienna, Austria",
  school =      "Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik",
  year =        "2005"
}
Download
Get da-moser.pdf - Adobe PDF-format, (445.2656 KB; posted at July 09 2013)


[ main page ] [ back ]