Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification

Author

Lundy, G.M. ; Miller, Raymond E.

Author_Institution

Dept. of Comput. Science, US Naval Postgraduate Sch., Monterey, CA, USA

Volume

41

Issue

3

fYear

1993

fDate

3/1/1993 12:00:00 AM

Firstpage

447

Lastpage

449

Abstract

A model for the specification and analysis of communication protocols called Systems of Communicating Machines is used to specify a CSMA/CD (carrier-sense multiple access with collision detection) protocol, and to analyze it for safety and certain restricted liveness properties. The model uses a combination of finite state machines and variables in the specification of each machine, and the communication between machines is accomplished through shared variables. The Ethernet bus is modeled as a single variable shared by all communicating processes. Collisions are modeled by simultaneous writes to this variable

Keywords

carrier sense multiple access; finite state machines; CSMA/CD protocol; Ethernet bus; Systems of Communicating Machines Specification; carrier-sense multiple access with collision detection; finite state machines; liveness properties; safety; shared variables; Access protocols; Automata; Communications Society; Computer networks; Computer science; Ethernet networks; Multiaccess communication; NASA; Safety;

fLanguage

English

Journal_Title

Communications, IEEE Transactions on

Publisher

ieee

ISSN

0090-6778

Type

jour

DOI

10.1109/26.221072

Filename

221072