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) >>

Performance Evaluation: Tools and Novel Techniques

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