Performance Evaluation with Stochastic Process Algebras

Gemeinsame Forschungsprojekte

Partner:

Dept. of Computer Science, James Clerk Maxwell Building, The King's Building, Edingburgh, UK

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.1993 - 31.12.2004

Forschung im Bereich Stochastischer Prozessalgebren.

Prozessalgebren sind ein neuartiges Konzept zur Spezifikation und Analyse von Realzeit- und Resourcesharing-Systemen mit den besonderen Eigenschaften Kompositionalität, Abstraktion und Verifikation. In diese Spezifikationssprachen betten wir Stochastische Prozesse ein. Damit kann man nicht nur funktionale Eigenschaften, sondern auch Echtzeit- und Leistungscharakteristika modellieren und analysieren.
Kontakperson: Dr. J. Hillston