Effiziente Analyseverfahren für die Performability-Bewertung verteilter Systeme

Zur Bewertung quantitativer Eigenschaften verteilter Systeme，wie Leistungsfähigkeit und Zuver-lässigkeit（kurz：Performability-Bewertung），韦尔登具有Markovmodelle verwendet，die mit Hilfe strukturierter high-level Beschreibungsformalismen spezifiziert und anschließend automatisch analysiert韦尔登。In praktischen Einquirtreten dabei sehr grosse Zusträhauf，deren Analyse massive Rechenzeit und Speicherbedarf erfordert（Problem der sog. Zustandsraumexplosion）.由于数据结构的特殊性，在一般和特殊情况下，数据结构的预测模型被广泛地应用于预测。数字分析是弗拉申哈尔的一个简单的分析，但它的方法和工具都很简单。在数值分析的大马尔可夫模型中，解决了聚集/解聚的问题。多层Verfahren）最初基于Entscheidungsdiagramen realisiert韦尔登。Entscheidungsweetme sind eine für Multilevel-Verfahren bestens geeignete Datenstruktur，da sie gemeinsam der Struktur der zugundeliegenden high-level Beschreibung aufgebaut sind und einen einfachen Zugriff auf verschedene geschachtelte Blockstrukturen der codierten Matrix ermöglichen.随着数据结构和数据库的组合技术的发展，数据库技术的发展也有了很大的潜力。

Zur Bewertung quantitativer Eigenschaften verteilter Systeme, wie Leistungsfähigkeit und Zuver-lässigkeit (kurz: Performability-Bewertung), werden häufig Markovmodelle verwendet, die mit Hilfe strukturierter high-level Beschreibungsformalismen spezifiziert und anschließend automatisch analysiert werden. Im praktischen Einsatz treten dabei sehr grosse Zustandsräume auf, deren Analyse immense Rechenzeit und Speicherbedarf erfordert (Problem der sog. Zustandsraumexplosion). Durch die Verwendung spezieller Datenstrukturen, insbesondere von Entscheidungsdiagrammen, wurden in Vorarbeiten bei der Generierung und Speicherung solcher Modelle bereits bedeutende Fortschritte erzielt. Die numerische Analyse hingegen ist der verbleibende Flaschenhals, unter dem bisher alle einschlägigen Methoden und Werkzeuge leiden. Um die Geschwindigkeit der numerischen Analyse grosser Markovmodelle zu verbessern, sollen in diesem Vorhaben mehrstufige Aggregations-/Disaggregationsverfahren (sog. Multilevel-Verfahren) erstmals auf Basis von Entscheidungsdiagrammen realisiert werden. Entscheidungsdiagramme sind eine für Multilevel-Verfahren bestens geeignete Datenstruktur, da sie gemeinsam der Struktur der zugrundeliegenden high-level Beschreibung aufgebaut sind und einen einfachen Zugriff auf verschiedene geschachtelte Blockstrukturen der codierten Matrix ermöglichen. Aufgrund dieser günstigen Kombination von Datenstruktur und Algorithmus hat der hier vorgeschlagene Ansatz das Potenzial, den Stand der Technik wirklich voranzubringen.