On reliability modelling of fault-tolerant distributed systems

TitleOn reliability modelling of fault-tolerant distributed systems
Publication TypeJournal Article
Year of Publication1989
AuthorsP Thambidurai, YK Park, and KS Trivedi
JournalProceedings - International Conference on Distributed Computing Systems
Start Page136
Pagination136 - 142
Date Published06/1989
Abstract

The problem of predicting the reliability of a distributed system based on the principles of Byzantine agreement is addressed. The system is considered inoperable or failed if Byzantine agreement cannot be guaranteed. The reliability models depend on a unified model of interactive consistency, which is based on a unique fault taxonomy appropriate for distributed systems. The unified model takes advantage of the fact that some faults may not be of an arbitrary nature, while still allowing for the fact that some faults may be arbitrary. A closed-form expression for the reliability and the mean time to failure of systems based on the unified model is derived. Each processor is allowed to have multiple failure modes, and the contribution of the interactive consistency algorithm is explicitly taken into account. The practical value of this unified model in designing ultrareliable systems is demonstrated by several examples.

Short TitleProceedings - International Conference on Distributed Computing Systems