Specification and Analysis of the DCF Protocol in the 802.11 Standard using Systems of Communicating Machines
| dc.contributor.author | Vasan, Arunchandar | en_US |
| dc.contributor.author | Miller, Raymond E. | en_US |
| dc.date.accessioned | 2004-05-31T23:18:00Z | |
| dc.date.available | 2004-05-31T23:18:00Z | |
| dc.date.created | 2002-05 | en_US |
| dc.date.issued | 2002-05-22 | en_US |
| dc.description.abstract | The 802.11 specification is an emerging standard for WLANs. In this paper, we propose a formal model for a section of the 802.11 MAC protocol using systems of communicating machines. We model the ad-hoc mode of the DCF, i.e., CSMA/CA protocol and the MACA\footnote{The 802.11 standard does not refer to RTS/CTS exchanges as MACA. However, the paper which introduced this idea called it the MACA, and we use this name.} using RTS/CTS sequences. Each station is modelled as a finite state machine which has a set of local variables, and the Wireless Medium is modelled as a shared variable. Analyses show that the 802.11 MAC CSMA/CA protocol and the MACA using RTS/CTS exchanges are free from state deadlocks and non-executable transitions. However, the MACA protocol has a potential livelock, though it is unlikely it will come to pass in normal operation. (Also UMIACS-TR-2002-37) | en_US |
| dc.format.extent | 152901 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/1196 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-4358 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-2002-37 | en_US |
| dc.title | Specification and Analysis of the DCF Protocol in the 802.11 Standard using Systems of Communicating Machines | en_US |
| dc.type | Technical Report | en_US |