Performance Evaluation: Tools and Novel TechniquesGemeinsame Forschungsprojekte- Partner:
- University of Cape Town, Dept. of Computer Science, Private Bag, Ronde Bosch, Republic of South Africa
- 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.1995 - 31.12.2004
- Forschung im Bereich Stochastische Prozessalgebren, SDL/MSC
sowie allgemeiner Leistungsbewertung. 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. Auch bei SDL/MSC - die bekannteste industriell
verwendete Spezifikationstechnik für Kommunikationssysteme - betten wir derartige
Eigenschaften in den Standard ein. Schnellere und fehlerfreie Entwurfszyklen sind die
Gesamtzielsetzung.
Kontaktperson: Prof. P. Kritzinger
|