Historical overview of data communication with analysis of a selective repeat protocol
Jensen, Patricia B.
MetadataShow full item record
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 technology and the merging of the two industries. The milestones chosen, and the details given were motivated by the current trends regarding the consolidation of the two fields of telecommunications and computers into the arena which is referred to as data communications. The second part of the thesis is an analysis of a specification for a data link communications protocol, specifically the sliding window selective repeat protocol. The specification was modeled using the systems of communicating machines. This model uses a combination of finite state machines and variables which allows the size of the specification to be linear in the window size. The analysis used is a system state analysis, similar to the reachability analysis of the pure finite state model. the resulting system state analysis was reviewed for an underlying graph structure, The graph found was defined and an inductive proof develop to extend the analysis of the protocol for a window size of all nonnegative integers w.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Lundy, Gilbert M.; Tipici, H. Alphan (IEEE, 1994-10);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 ...
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 ...
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 ...