Protocol Implementation with FDTs

Correctness and run-time efficiency are central properties of communication protocols. In order to achieve correctness, the use of formal techniques to obtain precise specifications as the foundation for subsequent development steps is necessary. In order to conserve the achieved correctness, the formal specification should then serve as input for the (semi-)automatic code generation. However, existing code generators have the reputation of producing inefficient code. Goal of this project, which has started on May 1st, 1996 and is planned for a period of 4 years, is to provide evidence that - contrary to that reputation - it is feasible to automatically generate code that can compete with hand-coded implementations w.r.t. run-time efficiency. The project focusses on the internationally standardized formal techniques Estelle and SDL, and on the eXpress Transport Protocol (XTP) Version 4.0.
Dipl.-Inform. Joachim Thees
1st Part: May 1996 to April 1998
2nd Part: May 1998 to April 2000

research activities, projects and organisations

Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.