Given that faults cannot be prevented in sufficiently complex systems, means of fault tolerance are essential for dependable distributed systems. Designing and evaluating fault-tolerant systems require well-conceived fault models. In the past, theoretical works have used simplified models that, whil
Structural Failure Models for Fault-Tolerant Distributed Computing
โ Scribed by Timo Warns (auth.)
- Publisher
- Vieweg+Teubner Verlag
- Year
- 2010
- Tongue
- English
- Leaves
- 227
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
Given that faults cannot be prevented in sufficiently complex systems, means of fault tolerance are essential for dependable distributed systems. Designing and evaluating fault-tolerant systems require well-conceived fault models. In the past, theoretical works have used simplified models that, while being tractable, turned out to be inaccurate. Practical works have used probabilistic fault models that, while being more accurate, often turned out to be intractable.
Timo Warns bridges the gap between theory and practice regarding fault models. He has developed tractable fault models that, while being non-probabilistic, are accurate for dependent and propagating faults. Using seminal problems such as consensus and constructing coteries, he demonstrates how the new models can be used to design and evaluate effective and efficient means of fault tolerance.
โฆ Table of Contents
Front Matter....Pages I-XV
Introduction....Pages 1-8
Modelling Fault-Tolerant Distributed Systems....Pages 9-38
Modelling Fault Assumptions with Structural Failure Models....Pages 39-95
Constructing Coteries....Pages 97-138
Reaching Consensus....Pages 139-187
Conclusion and FutureWork....Pages 189-193
Back Matter....Pages 195-216
โฆ Subjects
Computer Science, general
๐ SIMILAR VOLUMES
The ISIS system transforms abstract type specifications into fault-tolerant distributed implementations, while insulating users from the mechanisms whereby fault-tolerance is achieved. This paper discusses the transformations that are used within ISIS, methods for achieving improved performance by c
<p><P>The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design method