Selection and specification of a data link protocol for VSAT based inter-LAN communications
Benvenutti, Eugene S., Jr.
Lundy, G. M.
Ha, Tri T.
MetadataShow full item record
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.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Xie, Geoffrey (2007-11);This chapter explores the architectural design of the Internet. The main objectives are: (i) highlight the design principles underlying the Internet architecture and explain their roles in the success of the network, and ...
Vinsand, Daniel John (Monterey, California. Naval Postgraduate School, 2004-12);Architecture and political power have related throughout history in various ways. The most prominent function of architecture, as well as other aesthetics, in the political realm has been to raise the national sentiment ...
VHDL modeling and simulation for a digital target imaging architecture for multiple large targets generation Bergon, Hakan (Monterey California. Naval Postgraduate School, 2002-09);The subject of this thesis is to model and verify the correctness of the architecture of the Digital Image Synthesizer (DIS). The DIS, a system-on-a-chip, is especially useful as a counter-targeting repeater. It synthesizes ...