An analysis of the Token Ring protocol as specified in ANSI/IEEE Standard 802.5-1985
Lundy, G. M.
MetadataShow full item record
This thesis discusses the formal specification techniques for communication protocols and the ANSI/IEEE Standard 802.5 Token Ring Access Method and Physical Layer Specification. Background information on formal protocol specification and a review of the targeted standard are provided. The ambiguities that were found with the standard and solutions to some of those are presented. The study concludes that there is a growing need to find methods which will provide correct, clear and unambiguous methods for the specification and analysis of communication protocols and standards. Keywords: Token ring, Communication protocols, Formal modeling techniques, Computer networks, Local area networks.
Approved for public release; distribution in unlimited.
Showing items related by title, author, creator and subject.
Specification of Mil-Standard 1553 bus protocol and application to EA-6B communications countermeasures Christensen, Peter Hugh (Monterey, California. Naval Postgraduate School, 1989);A model for the specification and analysis of communication protocols called Systems of Communicating Machines is used to describe and analyze a simplified version of the Mil- Standard 1553 bus protocol. The protocol ...
Integrating the Coalition Battle Management Language (C-BML) into the Military Scenario Definition Language (MSDL) Blais, Curtis; Abbott, Jeff (2010);The Coalition Battle Management Language (C-BML) is a common language for expressing and exchanging plans, orders, requests, and reports across command and control systems, modeling and simulation systems, and robotic ...
Blais, Curtis L. (Monterey, California. Naval Postgraduate School, 2012-10-22); NPS-MV-10-002The purpose of this analysis was to determine whether S1000D, an international specification for technical publications, should be required in Department of Defense (DoD) acquisitions. Based on the information and opinions ...