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 and correctness. A formal specification of a real-world network protocol contributes to multivendor interoperability achievement. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1991
Accession Number
ADA246069

Entities

People

  • Jose Luiz Timbo Elmiro

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Chemical Reactions
  • Computer Access Control
  • Computer Communications
  • Computer Networks
  • Computer Programs
  • Computer Science
  • Computers
  • Computing Devices
  • Computing System Architectures
  • Data Links
  • Data Transmission
  • Local Area Networks
  • Network Architecture
  • Network Protocols
  • Network Science
  • Optical Fibers
  • Throughput

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design