• DocumentCode
    3726942
  • Title

    Analysing the effect of CCA duration in 802.15.4 networks with hidden nodes by using PRISM

  • Author

    Tatjana Kapus

  • Author_Institution
    Tatjana Kapus, University of Maribor, Faculty of Electrical Engineering and Computer Science, Smetanova ul. 17, SI-2000 Maribor, Slovenia
  • fYear
    2015
  • Firstpage
    87
  • Lastpage
    90
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    Telecommunications Forum Telfor (TELFOR), 2015 23rd
  • Type

    conf

  • DOI
    10.1109/TELFOR.2015.7377420
  • Filename
    7377420
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3726942