Refinements on IEEE 802.11 Distributed Coordination Function Modeling Approaches

With the popularity of the IEEE 802.11 standards, many analytical saturation throughput studies for the distributed coordination function (DCF) have been reported. In this paper, we outline a number of issues and criticalities raised by previously proposed models. In particular, a careful look at backoff counter decrement rules allows us to conclude that, under saturation conditions, the slot immediately following a successful transmission can be accessed only by the station (STA) that has successfully transmitted in the previous channel access. Moreover, due to the specific acknowledgment (ACK) timeout setting adopted in the standard, the slot immediately following a collision cannot be accessed by any STA. Thus, the hypothesis of uncorrelation between consecutive channel slots and statistical homogeneity is not generally true. We propose a new backoff decrement model that retains the simplicity of traditional DCF models while being able to take into account such a correlation, and we compare the accuracy of our model with that of previously proposed approaches.