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-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.