Validation of Stochastic Systems 2

• Antragsteller: Professor Dr. Boudewijn R. Haverkort
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2001 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5307274

In diesem Projekt werden die Modellierung und Verifikation der stochastischen Aspekte von Rechnersytemen, wie zum Beispiel verteilten Systemen, Netzwerken und Kommunikationsprotokollen, behandelt. Diese Aspekte sind wesentlich um Schlußfolgerungen über Leistungs- und Zuverlässigkeitseigenschaften der Systeme ziehen zu können und die Korrektheit probabilistischer verteilter Algorithmen und Protokolle sicherzustellen. Das Projekt strebt die Integration von Modellierungs- und computerunterstützen Verifikationstechniken zur Analyse komplexer stochastischer Systeme an. Das Ziel ist, bekannte Techniken, die erfolgreich zur Modellierung und Bestimmung von qualitativen Eigenschaften von Rechnersystemen eingesetzt werden, für stochastische Anwendungsfälle anzupassen und zu erweitern. Modellierungstechniken wie Input/Output Automaten und stochastische Prozessalgebren und Verifikationstechniken wie Model Checking werden gründlich erforscht werden. Konkret planen wir die vorhandene Zusammenarbeit zwischen den Partnern auszudehnen, um die Techniken zur Modellierung, Analyse und Optimierung von durch Markovprozessen beschriebenen Systemen einzusetzen.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Niederlande
• Beteiligte Personen: Professor Dr. Joost-Pieter Katoen; Professor Dr. Frits W. Vaandrager