Automated Stream-Based Analysis of Fault-Tolerance


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