Effiziente Analyseverfahren für die Performability-Bewertung verteilter Systeme

Zur Bewertung数量器Eigenschaften椎体切割系统，Wie Leistungsfähigkeit and Zuver-Lässigkeit(KURZ：Performance-Bewertung)，Wen den Häuig MarkovModel verwendet，die MIT Hilfe Structurierer ter高层BeschreibungsFormalislist Spezifiziert and Anchlieüend Automatich Analysiert。我在实践中处理了许多问题，分析了巨大的经济和经济问题。ZuStandsraum爆炸)。他说：“我不知道你的名字是什么，我不知道你的名字是什么意思。”在德国比舍尔和德国莱顿的基础上，用数字分析了这两种方法的铰链。Um de Geschwindigkeit in Diesem Vorhaben Mehrstufige Aggregation-/Disggregationsverfahren(Sog.多层次的图解是根据实际情况而定的。从多层次的角度来看，这是一种最好的数据结构形式，也是最好的数据结构形式，也是一种高层次的数据结构形式。这是一种新的技术支持和技术支持。

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.