๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โฌ‡  Acquire This Volume

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


Structural Failure Models for Fault-Tole
โœ Timo Warns ๐Ÿ“‚ Library ๐Ÿ“… 2010 ๐Ÿ› Vieweg and Teubner ๐ŸŒ English

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

Fault-Tolerant Distributed Computing
โœ Michael J. Fischer (auth.), Barbara Simons, Alfred Spector (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1990 ๐Ÿ› Springer-Verlag New York ๐ŸŒ English
Fault-Tolerant Distributed Computing
โœ Michael J. Fischer (auth.), Barbara Simons, Alfred Spector (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1990 ๐Ÿ› Springer-Verlag New York ๐ŸŒ English
ISIS: A System for Fault-Tolerant Distri
โœ Kenneth P. Birman ๐Ÿ“‚ Library ๐Ÿ“… 1986 ๐Ÿ› Cornell University ๐ŸŒ English

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

Methods, Models and Tools for Fault Tole
โœ A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexand ๐Ÿ“‚ Library ๐Ÿ“… 2009 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<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