Arbeitsgruppe Rechnernetze Fachbereich Informatik, Universität Kaiserslautern

English

Aktuelle Adresse

(Stand 20.6.2014)

Zeit in der AG Rechnernetze

Arbeitsgebiete bis zum Verlassen der AG Rechnernetze

Entwicklung von Kommunikationssystemen mit formalen Methoden, speziell:

• Feature-Interaktions-Probleme im Intelligenten (Telefon-)Netzwerk
  • Finden einer formalen Definition von "Feature" und "Feature-Interaktion"
  • Kriterien zur Erkennung von Feature-Interaktionen noch zur Entwicklungszeit
  • Werkzeuge zur Erkennung und Auflösung
  • Vermeiden von Feature-Interaktionen
• Spezifikationsstil und Laufzeiteffizienz in der FDT Estelle
  • Spezifikationsstile, die "teure" Struktur (bezüglich heutiger Implementations-Generatorwerkzeuge) reduzieren
  • Spezifikation der gesamten probleminhärenten Nebenläufigkeit, um teure Überspezifikation zu vermeiden; Erweiterung von Estelle dafür
• Weiterentwicklung der FDT Estelle
  • einige kompatible Spracherweiterungen, um obige Arbeiten zu unterstützen
• Semantik der FDT Estelle
  • Entwurf einer alternativen Semantik, die Verifikation besser unterstützt

Veröffentlichungen

Lehre

• Praktikum: Entwicklung von Kommunikationssystemen

Universität Kaiserslautern

Fachbereich Informatik

AG Rechnernetze

Personen und Adressen

Dr. Jan Bredereke