A protocol engineering workstation - with an application to protocol performance analysis

Abstract

This paper describes the Protocol Engineering Workstation (PEW), an integrated specification, debugging and testing package based upon the Estelle FDT. It consists of three primary integrated components: a screen editor, an Estelle compiler, and an interpreter/debugger for the execution of Estelle specifications, as well as a separate analysis system. Apart from a brief description of each component which make up the package, it is shown how the PEW can be used with the analysis system to analyse the performance of the protocol being specified. The underlying model upon which the analysis is based, is outlined and a sample protocol specification and analysis illustrates the practical application of the system.