Stochastic Verification of Discrete Systems

Gemeinsame Forschungsprojekte

Partner:

Dept. of Computer Science, University of Twente, AE Enschede, The Netherlands

Kontakt:

Herzog, Ulrich
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)
Telefon +49 9131 85 27041, Fax +49 9131 85 27409, E-Mail: ulrich.herzog@cs.fau.de

Dauer: 1.1.1994 - 31.12.2004

Forschung im Bereich Stochastische Modelle und Verifikation.
StochastischeProzessalgebren zeichnen sich durch Kompositionalität, Abstraktionsmechanismen und Äquivalenzkonzepte aus. Sie sind daher besonders für die Beschreibung und Analyse komplexer Realzeit- und Resourcesharingsysteme geeignet. Da außer Fragen der Leistungsbewertung das Problem der Verifikation kombinierter funktional-temporaler Eigenschaften eine immer größere Rolle spielt, arbeiten wir an temporalen Logiken, die um stochastische Zeiten erweitert sind, und an Verifikationsverfahren dafür. Im Rahmen dieser Forschungen entstand das Model Checking Werkzeug ETMCC (Erlangen Twente Markov Chain Checker).
Kontaktperson: Prof. E. Brinksma