UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:       
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >> Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme) >>

Stochastische Modellierung und Verifikation

Wissenschaftleraustausch

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.
UnivIS ist ein Produkt der Config eG, Buckenhof