For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two well-known self-stabilizing algorithms under these fault models. For a small number of processes, the properties of interest are verified automatically using probabilistic model-checking tools. For a large number of processes, these properties are characterized using asymptotic bounds from a direct Markov chain analysis and approximated by numerical simulations. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Lee Deville, R. E., & Mitra, S. (2009). Stability of distributed algorithms in the face of incessant faults. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5873 LNCS, pp. 224–237). https://doi.org/10.1007/978-3-642-05118-0_16
Mendeley helps you to discover research relevant for your work.