Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments 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. <engl.> 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. <dt.>