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

Author(s)

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

Affiliation

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

• Document type: Journal article
• Source: ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS; v. 2, n. 4 DEC 2017.
• Web of Science Citations: 1

Abstract

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)

• FAPESP's process: 13/15417-4 - Heterogeneous wireless networks secure integration through software defined networks
• Grantee: Cíntia Borges Margi
• Support Opportunities: Regular Research Grants