Framework for the Development of High-Speed Transfer Protocols

A framework facilitating the formal verification of High-Speed Transfer Protocols is proposed. It consists of

The specification elements are divided into different sections reflecting different degrees of abstraction:

The implication theorems as well as the proof descriptions are splitted into the sections:

If you are interested in further information, feel free to contact me

(Email: herrmann@ls4.cs.tu-dortmund.de).

The use of the framework is described in the publications

P. Herrmann, H. Krumm: Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations . In: P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification XV, pages 171-186, Warsaw, Poland, June 1995. Chapman & Hall.

P. Herrmann, H. Krumm: Modular Specification and Verification of XTP.
In: Telecommunication Systems, 9(1998)2, 207-221.

Usage:

  1. Fetch the file Framework.tar.Z .
  2. Uncompress the tar file by uncompress Framework.tar.Z
  3. Prepare the framework by tar xf Framework.tar.

The directories contain process files consisting of a description part and a specification part.


Peter Herrmann, October 17, 1997
Informatik IV, Uni Dortmund -- digital media copyright