Im Projekt wird eine neuartige Methodik für die modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme entwickelt und in einem Rahmenwerk aus Software-Werkzeugen implementiert.