Probabilistic model checking of IEEE 802.11 IBSS power save mode
by Pravati Swain; Purandar Bhaduri; Sukumar Nandi
International Journal of Wireless and Mobile Computing (IJWMC), Vol. 7, No. 5, 2014

Abstract: The IEEE 802.11 standard for wireless local area network defines a power management algorithm for Independent Basic Service Set (IBSS). In the power management for IBSS, time is divided into Beacon Intervals (BIs) and each BI is divided into an Announcement Traffic Indication Message (ATIM) window and a data window. The stations that have successfully transmitted an ATIM frame within the ATIM window will compete to transmit a data frame in the data window. The rest of the stations go to sleep mode during the data window, thus saving power. The power management algorithm for IBSS mode, based on a randomised exponential backoff procedure, is defined in the IEEE 802.11 standard for wireless LANs. The probabilistic behaviour of the MAC mechanism enables us to design a probabilistic model suitable for model checking. This paper presents a finite state Markov Decision Process (MDP) and uses the tool PRISM to compute the performance of the IEEE 802.11 IBSS in PSM. A set of performance properties, such as expected delay and energy consumption, is specified as queries in the probabilistic temporal logic PCTL and computed using PRISM.

Online publication date: Fri, 31-Oct-2014

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Wireless and Mobile Computing (IJWMC):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com