Naval Postgraduate School
A formal model of the MAC layer of an improved FDDI protocol.
formalmodelofmac00elmi.pdf (7.887Mb)Abstract
This research examines an improved FDDI protocol which ideally raises the network throughput from 100 to a maximum of 300 Megabits per second. It develops the details of the protocol structure at the MAC layer and provides a formal specification using a formal model for protocol specification called Systems of Communicating Machines. The study investigates the MAC FDDI standard and conforms the improved protocol to the specifications of that document. The MAC protocol employs a Timed-Token Controlled Concurrent Access with simultaneous transmission on the FDDI dual ring. Key characteristics of FDDI are maintained in the improved protocol. The formal specification enhances protocol interpretation and verification. It reduces protocol ambiguities and allows proofs for protocol verification and correctness. A formal specification of a real-world network protocol contributes to multivendor interoperability achievement.
Description
Approved for public release; distribution is unlimited
Collections
Related items
Showing items related by title, author, creator and subject.
-
Specification and analysis of the SNR high-speed transport protocol
(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 ... -
Automated network protocol reachability analysis with supertrace algorithm and TESTGEN : automated generation of test sequence for a formal protocol specification
(Monterey, California. Naval Postgraduate School, 1994-03);The automation of reachability analysis is an important step in verification of network protocols. The memory size needed for the full state analysis of complex protocols is usually very large and not available on most of ... -
A protocol validator for the SCM and CFSM models
(Monterey, California: Naval Postgraduate School, 1993-06);This thesis introduces and describes a software tool called Mushroom which automates the analysis of network protocols specified by the Systems of Communicating Machines (SCM) and the Communicating Finite State Machines ...
