A specification and analysis of the IEEE token bus protocol
Download
Author
Charbonneau, Lauren J.
Date
1990-06Advisor
Lundy, G.M.
Second Reader
Shing, Man-Tak
Metadata
Show full item recordAbstract
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.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Specification and analysis of the SNR high-speed transport protocol
Lundy, Gilbert M.; Tipici, H. Alphan (IEEE, 1994-10);In recent years the emergence of optical fiber and its correspondingly high data rates have led to the development of much higher speed networks, both locally and over the long haul. These developments led to the design ... -
Formal specification and analysis of a wireless media access protocol
Almquist, Martin Scott (Monterey, California. Naval Postgraduate School, 1995-09);The problem addressed by this research is to formally specify and analyze a proposed wireless network media access protocol. The protocol, named MACAW for Multiple Access Collision Avoidance Wireless, was described in ACM ... -
Historical overview of data communication with analysis of a selective repeat protocol
Jensen, Patricia B. (Monterey, California. Naval Postgraduate School, 1992-03);This thesis is primarily divided into two parts. The first part provides an overview of the historical milestones in the development of the telecommunications industry; the computer industry, primarily the hardware ...