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.
Rights
Copyright is reserved by the copyright ownerCollections
Related items
Showing items related by title, author, creator and subject.
-
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 ... -
Specification and analysis of a high speed transport protocol
(Monterey, California. Naval Postgraduate School, 1993-06);While networks have been getting faster, perceived throughput at the application has not always increased accordingly and the bottleneck has moved to the communications processing part of the system. The issues that cause ... -
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 ...
