Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung

• Applicant: Professorin Dr. Mila Majster-Cederbaum
• Subject Area: Software Engineering and Programming Languages
• Term: from 2006 to 2010
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 33853674

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.

• DFG Programme: Research Grants