A finite state model for IEEE 802.11 wireless LAN MAC DCF

Dillip Kumar Puthal; Bibhudatta Sahoo

doi:10.1109/ICETET.2008.62

A finite state model for IEEE 802.11 wireless LAN MAC DCF

Dillip Kumar Puthal
, Bibhudatta Sahoo

Electrical Engineering

National Institute of Technology Rourkela

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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.

Original language	British English
Title of host publication	Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008
Pages	258-263
Number of pages	6
DOIs	https://doi.org/10.1109/ICETET.2008.62
State	Published - 2008
Event	1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008 - Nagpur, Maharashtra, India Duration: 16 Jul 2008 → 18 Jul 2008

Publication series

Name	Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008

Conference

Conference	1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008
Country/Territory	India
City	Nagpur, Maharashtra
Period	16/07/08 → 18/07/08

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Keywords

Distributed coordination function (DCF)
IEEE 802.11 wireless LAN (WLAN)
Medium access control (MAC)
Point coordination function (PCF)
State transition model

Access to Document

10.1109/ICETET.2008.62

OpenUrl availability

Full text

Cite this

Puthal, D. K., & Sahoo, B. (2008). A finite state model for IEEE 802.11 wireless LAN MAC DCF. In Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008 (pp. 258-263). Article 4579907 (Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008). https://doi.org/10.1109/ICETET.2008.62

@inproceedings{ef7af6ce275c4bd3811933badb578429,

title = "A finite state model for IEEE 802.11 wireless LAN MAC DCF",

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.",

keywords = "Distributed coordination function (DCF), IEEE 802.11 wireless LAN (WLAN), Medium access control (MAC), Point coordination function (PCF), State transition model",

author = "Puthal, \{Dillip Kumar\} and Bibhudatta Sahoo",

year = "2008",

doi = "10.1109/ICETET.2008.62",

language = "British English",

isbn = "9780769532677",

series = "Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008",

pages = "258--263",

booktitle = "Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008",

note = "1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008 ; Conference date: 16-07-2008 Through 18-07-2008",

}

Puthal, DK & Sahoo, B 2008, A finite state model for IEEE 802.11 wireless LAN MAC DCF. in Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008., 4579907, Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008, pp. 258-263, 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008, Nagpur, Maharashtra, India, 16/07/08. https://doi.org/10.1109/ICETET.2008.62

A finite state model for IEEE 802.11 wireless LAN MAC DCF. / Puthal, Dillip Kumar; Sahoo, Bibhudatta.
Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008. 2008. p. 258-263 4579907 (Proceedings - 1st International Conference on Emerging Trends in Engineering and Technology, ICETET 2008).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 - https://www.scopus.com/pages/publications/51949109758

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 -

A finite state model for IEEE 802.11 wireless LAN MAC DCF

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

OpenUrl availability

Other files and links

Fingerprint

Cite this