ATMTS

Algebraische Werkzeuge zur Modellierung von Telekommunikationssysteme

In diesem Projekt werden neue algebraische Modelle fur industriell verwendete formale Beschreibungsmethoden erstellt. Im besonderen ist es unser Ziel, ein neues und vereinfachtes algebraisches Modell der vom IUT-T zum Standard erhobenen, industriell anerkannten Spezifikations- und Beschreibungssprache SDL zu schaffen, als eine strikte Basis zur Entwicklung neuer Algorithmen und software-Werkzeuge für die Überprüfung der Standardeinhaltung, das Testen und die Verifikation. Wir wollen unser Modell und unsere Werkzeuge in mehreren von industriellen Projektpartnern initiierten Fallstudien erproben, unter anderem in Protokollen zur Implementierung der BISDN-Dienste unter Benutzung von ATM, sowie im Arbeitsverbund-BISDN-Dienst; dabei sollen Termersetzungstechniken zum Einsatz kommen. In bestetig hoherem Maße werden in der Telekommunikationsbranche formale Beschreibungstechniken benutzt, um neue und komplexe Kommunikationsprotokolle und -systeme zu entwickeln, immer die Vision eines intelligenten Netzwerks vor Augen.

Das Projekt wird vom DAAD gefördert.
Projektpartner: Department of Computer Science , University of Newcastle,
Department of Computer Science , University-College Swansea,
Department of Numerical Analysis and Computing Science, KTH Stockholm, Sweden.

Ansprechpartner: Dr. Piotr Kosiuczenko

Liste aller Projekte

Institut

Universität