Mit der zunehmenden Kommerzialisierung des Internets kommt der Zuverlässigkeit der dort eingesetzten Rechner eine immer größere Bedeutung zu. Zur Optimierung des Entwurfs kostengünstiger, hochverfügbarer Systeme werden stochastische Modelle herangezogen.Aus der Literatur sind zwei Klassen von ModelIierungsmethoden für hochverfügbare Systeme bekannt. Boolesche Methoden, auch als kombinatorische Methoden bezeichnet, kommen im industriellen Umfeld am häufigsten zum Einsatz. Sie haben den Vorteil einer leichten Handhabbarkeit, können allerdings stochastische Abhängigkeiten zwischen dem Ausfall- und Reparaturverhalten der einzelnen Komponenten des Systems nicht berücksichtigen.Gründe für diese stochastischen Abhängigkeiten können beispielsweise gemeinsame Fehlerquellen, Fehlerfortpflanzungen, überlastetes Reparaturpersonal, nicht-perfekte Fehlererkennungsmechanismen oder die Umschaltzeit zwischen dynamisch-redundanten Komponenten des Systems sein. Eine Vernachlässigung dieser Systemeigenschaften führt zu überoptimistischen Ergebnissen bei der Ermittlung der Zuverlässigkeit, weshalb die Verwendung Boolescher Methoden zu einer Unterschätzung der durch Ausfälle enstehenden Kosten führt.Genauere Ergebnisse liefert die Verwendung sogenannter Zustandsmum-basierter Methoden, welche aber eine relativ hohe Einarbeitungszeit voraussetzen und zu schwer handhabbaren Modellen führen. Zustandsmum-basierte Methoden finden deshalb in der Praxis nur selten Anwendung.Um die Vorteile beider Methoden zu vereinen, wird im Rahmen der vorliegenden Dissertation eine neuartige Methode vorgestellt, die die Erstellung von leicht handhabbaren Modellen erlaubt, ohne auf die relevanten stochastischen Abhängigkeiten zwischen den Komponenten verzichten zu müssen. Dies wird durch die Verwendung von zwei Modellen erreicht. Dem Modellierer des Systems steht eine Sammlung von leicht handhabbaren, aber auch sehr mächtigen Diagrammarten und Tabellen zur Verfügung. Im Unterschied zu anderen Diagrammarten kann dieses Eingabemodell jedoch nicht direkt ausgewertet werden, sondern wird mit Hilfe einer ebenfalls in dieser Arbeit vorgestellten Methode in ein semantisch äquivalentes Zustandsraum-basiertes Modell umgewandelt. Dieses zweite Modell kann anschließend unter Verwendung eines herkömmlichen Werkzeugs analysiert werden.Die Arbeit enthält außerdem eine Beschreibung der Implementierung dieser Methode im Werkzeug OpenSESAME (Simple but Extensive Structured Availability Modeling Environment). Die praktische Anwendbarkeit des Werkzeugs wird anhand von zwei industriell relevanten Beispielen aufgezeigt. Das erste Beispiel enthält ein Modell eines typischen verteilten, hochverfügbaren Webservers. Als zweites Beispiel dient ein sogenannter Adjunct Processor, wie er im intelligenten Telefonnetz eingesetzt wird, um beispielsweise virtuelle Telefonnummern in physikalische Telefonnummern umzuwandeln.