Title :
Performance analysis of protocols
Author :
Walke, Bernhard H.
Author_Institution :
Dept. of Electr. & Electron. Eng., Fern Univ. of Hagen, Iserlohn, West Germany
Abstract :
The author interprets the performance analysis of protocols more widely than usual, to include not only a protocol´s traffic behavior but also such important areas as the consistency of a specification, the correctness of an implementation, and conformance to an existent standard. An overview is given on the various techniques currently in use to specify protocols formally and prove some properties of the specification, to implement a formally specified protocol and verify the implementation, to analyze an implementation with respect to its dynamic traffic behavior by simulation, to apply analytic modeling techniques to a protocol to compute performance figures like delay and throughput, and to perform performance tests to verify the conformance to a given standard. Besides making developers of protocols aware of the various techniques and tools available today, one goal of this paper is to collect and present basic judgments on the power and limits of methods and tools currently available in the area of protocol development
Keywords :
performance evaluation; protocols; analytic modeling; consistency; delay; performance analysis; protocols; simulation; specification; throughput; traffic behavior; Analytical models; Computational modeling; Data engineering; Delay; ISO standards; Open systems; Performance analysis; Protocols; Throughput; Traffic control;
Conference_Titel :
CompEuro '89., 'VLSI and Computer Peripherals. VLSI and Microelectronic Applications in Intelligent Peripherals and their Interconnection Networks', Proceedings.
Conference_Location :
Hamburg
Print_ISBN :
0-8186-1940-6
DOI :
10.1109/CMPEUR.1989.93454
