Stochastische Modellierung und VerifikationWissenschaftleraustausch- www:
- http://www.cs.bham.ac.uk/~gxn/stoch.html
- Partner:
- Universität Erlangen-Nürnberg, Universität Bonn, University of Birmingham und University of Edinburgh, England, Schottland
Dauer: 1.7.1998 - 30.6.2001
- Das Projekt befasst sich mit stochastischen Prozessalgebren, die über stochastische Zeitattribute und explizite Wahrscheinlichkeiten verfügen. Diese Erweiterungen ermöglichen es, Leistungsbewertung in die Entwurfsphase eines Systems zu integrieren. Im Projekt wird die Forschung im Bereich der stochastischen Prozessalgebren
in drei zusammenhängenden Richtungen fortgeführt.
1. Definition temporaler Logiken für zeitkontinuierliche
Markovketten zur Formalisierung der relevanten quantitativen Eigenschaften, sowie Entwurf zugehöriger Verifikationsalgorithmen.
2. Entwicklung automatischer Verfahren zum Nachweis quantitativer Eigenschaften von probabilistischen Echtzeit-Systemen sowie deren Analyse anhand von Fallstudien.
3. Erweiterung existierender stochastischer Prozessalgebren um allgemeine Verteilungen. Dabei Definition operationeller
und denotationeller Semantiken und zugehöriger Äquivalenzbegriffe.
|