Performance of IEEE 802.11 RTS/CTS with Finite Buffer and Load in Imperfect Channels: Modeling and Analysis

Alshanyour, Ahed; Agarwal, Anjali

doi:10.1109/glocom.2010.5684057

Cited by 7 publications

(7 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hence, higher values of p allow one to encode "denser" topologies. Another example of analysis is the analytic approach presented in [AA10], but it is difficult to compare with our analysis, since again the network topology is modelled implicitly by a collision probability. In general, the model checking approach has some benefits over simulation [Cla08].…”

Section: Discussionmentioning

confidence: 99%

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

Calder

Sevegnani

2014

Form. Asp. Comput.

View full text Add to dashboard Cite

Abstract. Stochastic bigraphical reactive systems (SBRS) is a recent formalism for modelling systems that evolve in time and space. However, the underlying spatial model is based on sets of trees and thus cannot represent spatial locations that are shared among several entities in a simple or intuitive way. We adopt an extension of the formalism, SBRS with sharing, in which the topology is modelled by a directed acyclic graph structure. We give an overview of SBRS with sharing, we extend it with rule priorities, and then use it to develop a model of the 802.11 CSMA/CA RTS/CTS protocol with exponential backoff, for an arbitrary network topology with possibly overlapping signals. The model uses sharing to model overlapping connectedness areas, instantaneous prioritised rules for deterministic computations, and stochastic rules with exponential reaction rates to model constant and uniformly distributed timeouts and constant transmission times. Equivalence classes of model states modulo instantaneous reactions yield states in a CTMC that can be analysed using the model checker PRISM. We illustrate the model on a simple example wireless network with three overlapping signals and we present some example quantitative properties.

show abstract

Section: Discussionmentioning

confidence: 99%

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

Calder

Sevegnani

2014

Form. Asp. Comput.

View full text Add to dashboard Cite

show abstract

“…Assumed that h 0 is already known, so that, P tx , P idle and p can be obtained by solving (5), (11) and (17). In the next section, we will analyse the value of h 0 .…”

Section: Back Off Modelmentioning

confidence: 98%

“…A discrete-time four-dimensional Markov chain model was presented in [17], which integrates retransmission limits, the finite load, finite buffer capacity and quality of the received data into a one model. This model can be used to analyse the packet service time and throughput.…”

mentioning

confidence: 99%

Bandwidth mapping model for IEEE 802.11 DCF in unsaturated condition

et al. 2012

View full text Add to dashboard Cite

In multi-hop ad hoc networks, sources may pump more traffic into the networks than that can be supported, resulting in high end-to-end delay and packet-loss rate. Controlling the offered load at the sources can eliminate this problem. To conduct traffic control, the throughput of the network is necessary. In addition, the authors propose a concept of bandwidth mapping to analyse how much traffic in application can be injected to make the network supporting the maximum throughput. A multi-dimensional Markov model is built to analyse the performance of IEEE 802.11 DCF in unsaturated condition, in which M/G/1/K queuing model is used to analyse the service condition of the packet queue inside the node. The effects of carrier sensing property, hidden-node problem and signal capture property are considered together to analyse the contention experienced by the nodes in the network. Furthermore, the bandwidth mapping situation of voice and video traffic is analysed in string topology of a multi-hop ad hoc network. This analysis can provide a theoretical guide for the traffic admission control.

show abstract

“…The extended version of the model [13] is presented in the paper [25] under unsaturation condition for an error prone channel. Alshanyour et al [26] present a four dimensional discrete time Markov chain that integrates the data and control frames retransmission limit, finite load and finite buffer capacity into one model. This model provides Quality of Service (QoS) performance and queuing behavior of the IEEE 802.11 DCF system.…”

Section: B Unsaturation Conditionmentioning

confidence: 99%

A survey on performance modeling of IEEE 802.11 DCF in Power Save Mode

Swain

2013

2013 International Conference on Green Computing, Communication and Conservation of Energy (ICGCE)

View full text Add to dashboard Cite

The IEEE 802.11 standard has a power save management algorithm for both infrastructure and Independent Basic Service Set (IBSS) mode. The standard design distributed coordination function (DCF) for channel access. The DCF is a carrier sense multiple access with collision avoidance (CSMA/CA) scheme with binary exponential backoff (BEB) algorithm. Several analytical models are presented for analysis of the IEEE 802.11 DCF to provide a better understanding of the research challenges. The analytical models are based on the IEEE 802.11 DCF for saturated and unsaturated traffic conditions. This paper presents detailed investigation of current analytical models of performance analysis of IEEE 802.11 DCF with Power Save Mode (PSM) and without PSM. The possible future research works in this field of research interests are also discussed, with an objective to explore new research interests in this field.

show abstract

Performance of IEEE 802.11 RTS/CTS with Finite Buffer and Load in Imperfect Channels: Modeling and Analysis

Cited by 7 publications

References 6 publications

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

Bandwidth mapping model for IEEE 802.11 DCF in unsaturated condition

A survey on performance modeling of IEEE 802.11 DCF in Power Save Mode

Contact Info

Product

Resources

About