Specification and analysis of the SNR high-speed transport protocol
Abstract
In recent years the emergence of optical fiber and its correspondingly high data rates have led to the development of much higher speed networks, both locally and over the long haul. These developments led to the design of new transport protocols, which were intended to take advantage of the high-speed networks. A number of these so-called "high-speed transport
protocols" have been designed to date. This paper considers one of these, called the SNR protocol, in detail. A formal specification of the protocol is presented, using the protocol model systems of communicating machines, and the
protocol is then analyzed through the specification. An implementation of the protocol based on this formal definition has also been made, and used to simulate the protocol, providing further insights into its performance. Based on the combined results of the analysis and the simulated protocol, a high degree of confidence is gained in the correctness of the protocol. The
specification is quite detailed, and from it an implementation should be fairly straightforward.
The paper also discusses the difficulties encountered during the analysis of such a complex
protocol, and suggests some possible solutions to these problems. Finally, as a result of this work, we comment on the strengths and weakness of the SNR protocol as a solution to the high-speed transport protocol problem, and make two simple suggestions for improving it.
Description
The article of record as published may be found at http://dx.doi.org/10.1109/90.336323
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Formal specification and analysis of a wireless media access protocol
Almquist, Martin Scott (Monterey, California. Naval Postgraduate School, 1995-09);The problem addressed by this research is to formally specify and analyze a proposed wireless network media access protocol. The protocol, named MACAW for Multiple Access Collision Avoidance Wireless, was described in ACM ... -
A specification and analysis of the IEEE token bus protocol
Charbonneau, Lauren J. (Monterey, California. Naval Postgraduate School, 1990-06);In this thesis a formal description technique, systems of communicating machines, is used to specify and analyze a token bus protocol. A simplified description of the protocol is given, and proofs of certain correctness ... -
Historical overview of data communication with analysis of a selective repeat protocol
Jensen, Patricia B. (Monterey, California. Naval Postgraduate School, 1992-03);This thesis is primarily divided into two parts. The first part provides an overview of the historical milestones in the development of the telecommunications industry; the computer industry, primarily the hardware ...