Behavioral Model of IEEE 802.15.4 Beacon-Enabled Mode Based on Colored Petri Net

Autor(es)

Alves, Renan C. A. ^[1] ; Margi, Cintia B. ^[1]

Afiliação do(s) autor(es)

^[1] Univ Sao Paulo, Dept Engn Comp & Sistemas Digitais, Room C2-46 Ave Prof Luciano Gualberto, Tv 3, BR-05508010 Sao Paulo, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS; v. 2, n. 4 DEC 2017.
• Citações Web of Science: 1

Resumo

The IEEE 802.15.4 standard is widely employed in power-constrained scenarios, such as Wireless Sensor Networks deployments. Therefore, modeling this standard is useful to predict network performance and fine-tune parameter settings. Previous work rely on determining all reachable network states, usually by a Markov chain, which is often complex and error prone. In contrast, we provide a novel behavioral approach to the IEEE 802.15.4 modeling, which covers the literature gap in assessing all metrics of interest, modeling asymmetric traffic condition and fully comprising the beacon-enabled mode. In addition, it is possible to test different values for the parameters of the standard, such as aMaxFrameRetries, macMaxCSMABackoffs, initialCW, and aUnitBackoffPeriod. The model was validated by NS2 simulations and by a testbed composed of telosB motes. (AU)

• Processo FAPESP: 13/15417-4 - Integração segura de redes sem fio heterogêneas através de redes definidas por software
• Beneficiário: Cíntia Borges Margi
• Modalidade de apoio: Auxílio à Pesquisa - Regular