Selection and Specification of a Data Link Protocol for VSAT Based Inter-LAN Communications

Abstract

This thesis proposes an architecture for the development of inter-Local Area Network 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 entitles contains a finite state machine, predicate/action tables, and local variables. A selective repeat, sliding window data link protocol for the Very Small Aperture Terminal architecture, the transmitter and receiver, is formally specified using the systems of communicating machines model. A partial analysis of the specified protocol is performed using reachability diagrams.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1991
Accession Number
ADA246289

Entities

People

  • Eugene S. Benvenutti Jr

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Energy and Power Technologies
  • Space

DTIC Thesaurus Topics

  • Artificial Satellites
  • Communication Channels
  • Computer Networks
  • Data Links
  • Digital Communications
  • Electronic Mail
  • Frequency Bands
  • Local Area Networks
  • Multiple Access
  • Network Architecture
  • Network Science
  • Network Topology
  • Satellite Communications
  • Time Division Multiple Access
  • Transmitters
  • United States Naval Academy

Fields of Study

  • Computer science

Readers

  • Neural Network Machine Learning.
  • Radio communications and signal processing.
  • Tactical Satellite Communications Systems Engineering.