|
DSpace@nitr >
National Institue of Technology- Rourkela >
Conference Papers >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2080/710
|
| Title: | A Finite State Model for IEEE 802.11 Wireless LAN MAC DCF |
| Authors: | Puthal, D K
Sahoo, Bibhudatta |
| Keywords: | IEEE 802.11 Wireless LAN (WLAN)
Medium Access Control (MAC)
Point Coordination Function (PCF)
Distributed Coordination Function
State transition model |
| Issue Date: | 2008 |
| Publisher: | IEEE |
| Citation: | Proceedings of the International Conference on Emerging Trends in Engineering & Technology (ICETET- 08) during 16-18 July 2008, Nagpur, P 258-263 |
| Abstract: | The international standard IEEE 802.11
Wireless LAN protocol is a popular standard for
wireless local area networks. Its medium access
control layer (MAC) is a carrier sense multiple access
with collision avoidance (CSMA/CA) design, although
collisions cannot always be prevented, randomized
exponential backoff rule is used in the retransmission
scheme to minimize the likelihood of repeated
collisions. To work around this problem, we identify
state transition of the protocol that can be used to
simplify the models and make verification feasible.
This paper explains the state transition model of two
way handshake mechanism of IEEE 802.11 standard
for MAC DCF. Using these observations, a time
variant generalized state transition model for channel,
sender and destination station has been described.
The proposed model has been validated using network
simulator ns-2. |
| Description: | Copyright for the published article belongs to IEEE |
| URI: | http://dx.doi.org/10.1109/ICETET.2008.62
http://hdl.handle.net/2080/710 |
| Appears in Collections: | Conference Papers
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| bhi-conf-08.pdf | | 457Kb | Adobe PDF | View/Open |
|
Show full item record
All items in DSpace are protected by copyright, with all rights reserved.
|
