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
- specification elements of protocol mechanisms and service constraints
- implication theorems to support the verification of specification elements
The specification elements are divided into different sections reflecting
different degrees of abstraction:
- service constraints (SCs)
- abstract protocol mechanisms (APMs)
- abstract medium constraints (AMCs)
- finite abstract protocol mechanisms (FAPMs)
- constant definition part
The implication theorems as well as the proof descriptions are splitted
into the sections:
- implication of SCs by APMs and AMCs
- implication of APMs and AMCs by FAPMs and AMCs
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:
- Fetch the file Framework.tar.Z
.
- Uncompress the tar file by uncompress Framework.tar.Z
- 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