Historical overview of data communication with analysis of a selective repeat protocol
Loading...
Authors
Jensen, Patricia B.
Subjects
Telecommunications history
Computer history
Sliding window protocol
Systems of communicating machines
Selective repeat protocol
Computer history
Sliding window protocol
Systems of communicating machines
Selective repeat protocol
Advisors
Lundy, G.M.
Date of Issue
1992-03
Date
March 1992
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
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.
Type
Thesis
Description
Series/Report No
Department
Department of Computer Science
Organization
Naval Postgraduate School
Identifiers
NPS Report Number
Sponsors
Funder
Format
77 p..
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
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.