A Specification and Analysis of the IEEE Token Bus Protocol

Abstract

In this thesis a formal description technique, systems of communicating machines, is used to specify and analyze a token bus protocol. A simplified description of the protocol is given, and proofs of certain correctness properties presented. The analysis proves that the protocol is free from deadlocks and non executable transitions, and also that successful message transfer is guaranteed for a network with an arbitrary number of machines. A program written in an object oriented language, C++, demonstrates that the description technique, the specification, and the analysis of the protocol is complete and accurate for a network of three stations. The specification is then extended to allow the transmission of different types of messages, errors in the communication channel, acknowledgements from the receiver, and timeouts.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1990
Accession Number
ADA236837

Entities

People

  • Lauren J. Charbonneau

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Bus Networks
  • Communication Channels
  • Communication Networks
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Data Transmission
  • Local Area Networks
  • Multiple Access
  • Network Protocols
  • Network Science
  • Schools
  • Throughput
  • United States
  • United States Naval Academy

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Database Systems and Applications