By Topic

A Finite State Model for IEEE 802.11 Wireless LAN MAC DCF

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Kumar Puthal, D. ; Dept. of Comput. Sci. Eng., Nat. Inst. of Technol., Rourkela ; Sahoo, B.

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.

Published in:

Emerging Trends in Engineering and Technology, 2008. ICETET '08. First International Conference on

Date of Conference:

16-18 July 2008