Structural Failure Models for Fault-Tolerant Distributed Computing

1. Front Matter

   Pages I-XV

   PDF

2. Introduction

   • Timo Warns

   Pages 1-8

3. Modelling Fault-Tolerant Distributed Systems

   • Timo Warns

   Pages 9-38

4. Modelling Fault Assumptions with Structural Failure Models

   • Timo Warns

   Pages 39-95

5. Constructing Coteries

   • Timo Warns

   Pages 97-138

6. Reaching Consensus

   • Timo Warns

   Pages 139-187

7. Conclusion and FutureWork

   • Timo Warns

   Pages 189-193

8. Back Matter

   Pages 195-216

   PDF

Despite means of fault prevention such as extensive testing or formal veri?cation, errors inevitably occur during system operation. To avoid subsequent system fa- ures, critical distributed systems, therefore, require engineering of means for fault tolerance. Achieving fault tolerance requires some redundancy, which, unfor- nately, is bound to limitations. Appropriate fault models are needed to describe which types of faults and how many faults are tolerable in a certain context. Pre- ous research on distributed systems has often introduced fault models that abstract too many relevant system properties such as dependent and propagating com- nent failures. In this research work, Timo Warns introduces new structural failure models that are both accurate (to cover relevant properties) and tractable (to be - alyzable). These new failure models cover dependent failures (for instance, failure correlation by geographic proximity) and propagating failures (for instance, pr- agation by service utilization). To evaluate the new failure models, Timo Warns shows how some seminal problems in distributed systems can be solved with - proved resilience and ef?ciency, as compared to existing solutions. Particularly, the textbook-style introduction to distributed systems and the r- orous presentation of the new failure models and their evaluation may serve as an example for other software engineering research projects – which is why this book is a valuable addition to both a researcher’s and a student’s library.

• Computing
• Structural Failure Models
• dependability
• design
• failure models
• fault tolerance
• modeling

Dr. Timo Warns completed his doctoral thesis under the supervision of Prof. Dr. Wilhelm Hasselbring at the Carl von Ossietzky University of Oldenburg.

Policies and ethics