TY - GEN
T1 - A finite state model for IEEE 802.11 wireless LAN MAC DCF
AU - Puthal, Dillip Kumar
AU - Sahoo, Bibhudatta
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
KW - Distributed coordination function (DCF)
KW - IEEE 802.11 wireless LAN (WLAN)
KW - Medium access control (MAC)
KW - Point coordination function (PCF)
KW - State transition model
UR - http://www.scopus.com/inward/record.url?scp=51949109758&partnerID=8YFLogxK
U2 - 10.1109/ICETET.2008.62
DO - 10.1109/ICETET.2008.62
M3 - Conference contribution
AN - SCOPUS:51949109758
SN - 9780769532677
T3 - Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008
SP - 258
EP - 263
BT - Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008
T2 - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008
Y2 - 16 July 2008 through 18 July 2008
ER -