Stochastic Verification of Discrete SystemsGemeinsame 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
|