Arbeitsgruppe Rechnernetze  Fachbereich Informatik, Universität Kaiserslautern

Forschungsinteressen

• Generische Entwicklung von Echtzeit-Kommunikationssystemen mit formalen Methoden
• Ressourcenmanagement, RT Scheduling und Quality-of-Service Architekturen
• Formale Zeitsemantiken und Zeitanalyse
• Formale Konfigurierung zeitkritischer Kommunikationssysteme
• Musterbasierter Protokollentwurf in SDL (SDL-Muster, SDL-Frameworks) unter Berücksichtigung von QoS Architekturkomponenten
• Realisierung echtzeitfähiger Kommunikationssubsysteme auf Basis formaler Entwurfsspezifikationen
• Einsatz und Weiterentwicklung formaler Beschreibungstechniken zur Analyse und generischen Entwicklung zeitkritischer Kommunikationssysteme

SFB 501/B4 SDL RT

Veröffentlichungen

Sonstiges:

Adressen