Title :
Analysing the effect of CCA duration in 802.15.4 networks with hidden nodes by using PRISM
Author_Institution :
Tatjana Kapus, University of Maribor, Faculty of Electrical Engineering and Computer Science, Smetanova ul. 17, SI-2000 Maribor, Slovenia
Abstract :
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.
Keywords :
"Probability","Model checking","IEEE 802.15 Standard","Media Access Protocol","Computational modeling","Probabilistic logic"
Conference_Titel :
Telecommunications Forum Telfor (TELFOR), 2015 23rd
DOI :
10.1109/TELFOR.2015.7377420
