Structural Failure Models for Fault-Tolerant Distributed Computing – Buch gebraucht kaufen

9783834812872

(ISBN-10: 3834812870)

leichte Gebrauchsspuren

21 x 14,9 cm

216

450 g

1

Softcover / Broschur / flexibler Einband

Englisch

Structural Failure Models for Fault-Tolerant Distributed Computing von Timo Warns untersucht Fehlermodelle für fehlertolerante verteilte Systeme. Ausgangspunkt ist die Beobachtung, dass sich Fehler auch durch umfangreiche Tests oder formale Verifikation nicht vollständig vermeiden lassen. Für die Konstruktion zuverlässiger verteilter Systeme müssen daher Annahmen darüber formuliert werden, welche Komponenten ausfallen können, in welchem Umfang Fehler gleichzeitig auftreten und wie sie sich im System ausbreiten.

Im Mittelpunkt stehen strukturelle Fehlermodelle, die über einfache Schwellenmodelle wie „höchstens t von n Komponenten fallen aus“ hinausgehen. Warns entwickelt nichtprobabilistische Modelle, die sowohl abhängige Fehler – etwa durch räumliche Nähe – als auch propagierende Fehler berücksichtigen. Erläutert werden die Modellierung fehlertoleranter verteilter Systeme, die formale Beschreibung von Fehlerannahmen sowie die Analyse ihrer Auswirkungen auf Systementwurf und Resilienz.

Zur Bewertung der Modelle dienen klassische Problemstellungen der verteilten Informatik. Dazu gehören insbesondere die Konstruktion von Coteries und das Erreichen von Konsens. An diesen Beispielen wird gezeigt, wie differenziertere Fehlerannahmen genutzt werden können, um Fehlertoleranz, Redundanz und Effizienz systematisch gegeneinander abzuwägen. Die Darstellung verbindet damit formale Modellierung mit zentralen Fragestellungen zuverlässiger verteilter Systeme. / Text Englisch.
__________
Structural Failure Models for Fault-Tolerant Distributed Computing by Timo Warns examines failure models for fault-tolerant distributed systems. It starts from the premise that faults cannot be completely eliminated through extensive testing or formal verification. Engineering dependable distributed systems therefore requires explicit assumptions about which components may fail, how many failures may occur simultaneously, and how failures can propagate through a system.

The main focus is on structural failure models that go beyond conventional threshold assumptions such as “at most t out of n components may fail.” Warns develops non-probabilistic models that represent dependent failures, for example those caused by geographical proximity, as well as propagating failures resulting from interactions or service dependencies. The discussion covers the modelling of fault-tolerant distributed systems, the formal specification of failure assumptions, and their consequences for system design and resilience.

The models are evaluated using established problems in distributed computing, especially the construction of coteries and the achievement of consensus. These examples illustrate how more expressive failure assumptions can be incorporated into the design and analysis of fault-tolerance mechanisms and how resilience, redundancy, and efficiency interact. The book thus connects formal failure modelling with central questions in dependable distributed computing. / Text Englisch....

Zustand: Stempel und Vermerk im Vorsatz, sonst unbenutzt

Verteilte Systeme, Fehlertolerante Systeme, Software Engineering, Dependability, Rechnernetze, Systemzuverlässigkeit, Formale Modellierung, Distributed Computing, Informatik, Systemarchitektur, Lehrbuch

2010

19.09.2026

ZF12979

Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg
ProductSafety@springernature.com