ATMTS

Algebraic Tools for Modelling Telecommunication Systems

The project aims to develope of new algorithms and software tolls for testing and verification methods based on algebraic model, and apply them to industrial telecommunication engineering problems. In particular, it aims to provide a new and simplified algebraic model for the industry standard IUT-T specification and description language SDL as a rigorous basis for developing new algorithms and software tools for compliance, testing and verification. We will apply the new and simplified algebraic model for the SDL to developing new algorithms and software tools for compliance testing of protocols, based on term rewriting techniques. The model and tools will be applied to a number of practical case studies in the area of implementation of BISDN (Broadband Integrated Service Digital Network) using ATM and analysis of BISDN service interworking. We will consider the integration of our techniques with existing software tools for SDL and tools for algebraic specifications and rapid prototyping.

The project is sponsored by the DAAD

Project partners:
Department of Computer Science, University of Newcastle,
Department of Computer Science, University-College Swansea,
Department of Numerical Analysis and Computing Science, KTH Stockholm, Sweden.

Contact persons: Dr. Piotr Kosiuczenko, Alexander Knapp.

list of all projects

Institute

University

(16.12.1996)