Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung

• Antragstellerin: Professorin Dr. Mila Majster-Cederbaum
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2006 bis 2010
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen