Müllner, Nils Henning (2014) Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments. PhD, Universität Oldenburg.

[img]
Preview


Volltext (6Mb)

Abstract

The present thesis focuses on distributed systems operating under probabilistic influences like faults. How well can such systems provide their service under the effects of faults? How well can they recover from faults? The present thesis introduces with limiting window availability a suitable measure to answer such questions, and presents a method for its computation. For the computation, the transition models of the systems are constructed, which are exponential in the size of the constituting system models. This is known as state space explosion. Combining decomposition and lumping — methods for state space reduction from the domain of model checking — allows to dampen the state space explosion.

["eprint_fieldname_title_plus" not defined]

Das Demaskieren der Fehlertoleranz - Vom Quantifizieren deterministischer Wiederherstellungsdynamiken in probabilistischen Umgebungen

["eprint_fieldname_abstract_plus" not defined]

Die vorliegende Arbeit betrachtet verteilte Systeme, welche unter wahrscheinlichkeitstheoretischen Einflüssen, beispielsweise Fehlern, operieren. Wie gut können solche Systeme unter den Auswirkungen von Fehlern ihren Dienst erbringen? Wie gut können sie sich von Fehlern erholen? Die vorliegende Arbeit stellt mit der limiting window availability ein geeignetes Maß zur Beantwortung dieser Fragen vor und präsentiert eine Methode, um es zu berechnen. Zur Berechnung werden die Transitionsmodelle der Systeme konstruiert, welche exponentiell in der Größe der zugrundeliegenden Systemmodelle sind. Dies ist auch bekannt als Zustandsraumexplosion. Die Kombination von Dekomposition und Lumping - Methoden zur Zustandsraumreduktion aus dem Bereich Modellprüfung - erlaubt es, die Zustandsraumexplosion zu dämpfen.

Item Type: Thesis (PhD)
Uncontrolled Keywords: Fehlertoleranz, Model Checking, Selbststabilisierung, Markov-Kette, Dekomposition
Subjects: Generalities, computers, information > Computer science, internet
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 13 May 2014 13:20
Last Modified: 13 May 2014 13:20
URI: https://oops.uni-oldenburg.de/id/eprint/1851
URN: urn:nbn:de:gbv:715-oops-19320
DOI:
Nutzungslizenz:

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...