A formal model of the MAC layer of an improved FDDI protocol.

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.