Specification and analysis of the SNR high-speed transport protocol
Lundy, Gilbert M.
Tipici, H. Alphan
MetadataShow full item record
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.
The article of record as published may be found at http://dx.doi.org/10.1109/90.336323
RightsThis 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.
Showing items related by title, author, creator and subject.
Almquist, Martin Scott (Monterey, California. Naval Postgraduate School, 1995);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 ...
Charbonneau, Lauren J. (Monterey, California. Naval Postgraduate School, 1990);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 ...
Jensen, Patricia B. (Monterey, California. Naval Postgraduate School, 1992);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 ...