Arbeitsgruppe Rechnernetze  Fachbereich Informatik, Universität Kaiserslautern

		English

Forschungsinteressen

• Generische Entwicklung von Kommunikationssystemen unter Einsatz formaler Methoden und objektorienter Konzepte
• Flexible Kommunikationssysteme
• Formale Konfigurierung von Kommunikationsprotokollen
• Musterbasierter Protokollentwurf in SDL: Selektion, Adaption und Komposition vordefinierter Protokollbausteine (SDL-Muster, SDL-Frameworks)
• Automatische Generierung prototypischer Implementierungen auf Basis formaler Entwurfsspezifikationen
• Modulare und kompositionale Verifikation und Validierung konfigurierter Protokollspezifikationen
• Einsatz und Weiterentwicklung formaler Beschreibungstechniken und zugehöriger rechnergestützter Spezifikationswerkzeuge zur generischen Entwicklung von Kommunikationssystemen

SFB 501/B4 SDL 

Veröffentlichungen

Sonstiges:

SAM`98 - 1st Workshop of the SDL Forum Society on SDL and MSC, June 29 - July 1, 1998, Berlin/Germany

Adressen