Selection and specification of a data link protocol for VSAT based inter-LAN communications
Loading...
Authors
Benvenutti, Eugene S., Jr.
Subjects
VSAT
LAN
Data link protocol
Systems of communicating machines
Specification
LAN
Data link protocol
Systems of communicating machines
Specification
Advisors
Lundy, G. M.
Date of Issue
1991-09
Date
September 1991
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
This thesis proposes an architecture for the development of inter-LAN communication across a VSAT network. The architecture of a VSAT node consists of the entities node, bridge, buffer, transmitter, receiver and frame assembler/disassembler. Each of these entities contains a finite state machine, predicate/action tables, and local variables. Entities communication by reading from and writing to shared variables. A selective repeat, sliding window data link protocol for the VSAT architecture, the transmitter and received, is formally specified using the systems of communicating machines model. A partial analysis of the specified protocol id performed using reachability diagrams.
Type
Thesis
Description
Series/Report No
Department
Space Systems Academic Group
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
72 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.