Validation of stochastic systems

• Applicant: Professor Dr. Boudewijn R. Haverkort
• Subject Area: Software Engineering and Programming Languages
• Term: from 2001 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• International Connection: Netherlands
• Participating Persons: Professor Dr. Joost-Pieter Katoen; Professor Dr. Frits W. Vaandrager