Show simple item record

Analyzing the Point Coordination Function of the IEEE 802.11 WLAN Protocol using a Systems of Communicating Machines Specification

dc.contributor.authorYoussef, Moustafa A.en_US
dc.contributor.authorMiller, Raymond E.en_US
dc.description.abstractA model for the specification and analysis of communication protocols called Systems of Communicating Machines is used to specify an IEEE 802.11 Point Coordination Function 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. Enabling predicates and actions are associated with each transition; the enabling predicates determine when a transition may be taken, and the actions alter the variable values as the network progresses. One of the advantages which this model has over most other formal description techniques is that simultaneous transitions are allowed. Another advantage is the use of shared variables rather than FIFO queues for communication between machines. This allows the modeling of the shared medium as a single shared variable variable between all communicating processes. Unlike the SDL language which is used in the specification of the 802.11 standard, the Systems of Communicating Machines model is more compact, easier to understand, and easier to analyze for safety and liveness. (Also UMIACS-TR-2002-36)en_US
dc.format.extent2618642 bytes
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-4357en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-2002-36en_US
dc.titleAnalyzing the Point Coordination Function of the IEEE 802.11 WLAN Protocol using a Systems of Communicating Machines Specificationen_US
dc.typeTechnical Reporten_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record