Analysing the effect of CCA duration in 802.15.4 networks with hidden nodes by using PRISM
Tatjana Kapus · 2015
An analysis of the effect of a nonstandard clear-channel assessment (CCA) interval in IEEE 802.15.4 nonbeacon-enabled networks consisting of nodes which send one packet to a sink and are partially hidden from the others is presented. By using the statistical model-checking capability of the PRISM model checker, we have obtained probabilities of successful sending and analysed the differences between the results for the standard and nonstandard CCA intervals.