Automated Stream-Based Analysis of Fault-Tolerance
Abstract:
A rigorous, automated approach to analyzing fault-tolerance of
distributed systems is presented. The method is based on a stream model
of computation. One novel feature is incorporating approximation
mechanisms into the stream model; another is performing the analysis
with respect to changes to system behavior due to failures. Two
applications are described: the Oral Messages algorithm of Lamport,
Shostak, and Pease, and a recent protocol for fault-tolerant moving
agents.
Scott Stoller's Home Page