A Specification and Analysis of the IEEE Token Bus Protocol

reportActive / Technical Report | Accession Number: ADA236837 | Open PDF

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.

Author(s):
Charbonneau, Lauren J.
Author Organization(s):
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Descriptive Note:
Master's thesis,
Pagination:
0087

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Monitor Series:
NPS
 Subject Terms
Joint Capability Areas:
JCA_6.1.1_Wired Transmission; JCA_6_Net Centric; JCA_6.1.3_Switching and Routing; JCA_6.1_Information Transport; JCA_5_Command and Control; JCA_5.3_Planning; JCA_1.2_Force Preparation; JCA_1_Force Support
Modernization Areas:
Autonomy
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*STATIONS, LANGUAGE, MACHINES, CHANNELS, TRANSFER, MESSAGE PROCESSING, SIMPLIFICATION, NETWORKS, COMMUNICATION AND RADIO SYSTEMS
Field(s)/Group(s):
Command, Control and Communications Systems
Keyword(s):
*BUS PROTOCOLS, *TOKEN BUSES, PROGRAM LISTINGS, C LANGUAGE
Report Date:
1990 Jun 01