Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung

点击翻译按钮获取中文摘要

In diesem Forschungsvorhaben werden Äquivalenzen für stochastische Prozesskalküle untersucht, d.h. für Spezifikationsformalismen zur Modellierung von Systemen, die zufälligen Einflüssen unterliegen bzw. für die stochastische Annahmen sinnvoll sind. Jede Äquivalenz besitzt einen unterschiedlich starken Abstraktionsgrad im Hinblick auf das spezifizierte System und verifiziert auf der jeweiligen Abstraktionsebene die Gleichheit zweier (als Transitionssystem gegebener) Modelle. Dabei werden Methoden für klassische Prozesskalküle aus dem Verifikationsbereich mit Methoden aus der stochastischen Modellierung großer komplexer Systeme kombiniert. Das Resultat ist eine nach Abstraktionsgrad geordnete Auswahl von „Gleichheitsbegriffen", die zu Verifikationszwecken verwendet werden können und deren Nutzen anhand von Beispielsystemen aus der Biologie gezeigt werden soll.