More Web Proxy on the site http://driver.im/

research-article

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

Authors:

Renan C. A. Alves,

Cíntia B. MargiAuthors Info & Claims

ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS), Volume 2, Issue 4

Article No.: 20, Pages 1 - 31

https://doi.org/10.1145/3115389

Published: 18 September 2017 Publication History

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.

References

[1]

Renan Alves. 2014. Redes se Sensores Sem Fio: Análise de Desempenho da Camada de Enlace. Master’s thesis. University of São Paulo, São Paulo, Brazil.

[2]

Renan C. A. Alves and Cíntia B. Margi. 2013. A timed petri net model for frame transmission on IEEE 802.15.4 beacon-enabled mode (PE-WASUN’13). ACM, New York, NY, 89--96.

Digital Library

[3]

Luigi Atzori, Antonio Iera, and Giacomo Morabito. 2010. The internet of things: A survey. Comput. Netw. 54, 15 (2010), 2787--2805.

Digital Library

[4]

Maryana V. Bereznyuk, Kamal K. Gupta, and Dmitry A. Zaitsev. 2007. Effectiveness of bluetooth address space usage. In 20th International Conference, Software and Systems Engineering and their Applications (ICSSEA’07).

[5]

Giuseppe Bianchi. 2000. Performance analysis of the IEEE 802.11 distributed coordination function. IEEE J. Select. Areas Commun. 18, 3 (March 2000), 535--547.

Digital Library

[6]

Chiara Buratti. 2010. Performance analysis of IEEE 802.15.4 beacon-enabled mode. IEEE Trans. Vehic. Technol. 59, 4 (May 2010), 2031--2045.

[7]

Xianghui Cao, Jiming Chen, Yu Cheng, Xuemin S. Shen, and Youxian Sun. 2015. An analytical MAC model for IEEE 802.15.4 enabled wireless networks with periodic traffic. IEEE Trans. Wireless Commun. 14, 10 (2015), 5261--5273.

[8]

Francois Despaux, Ye-Qiong Song, and Abdelkader Lahmadi. 2013. On the gap between mathematical modeling and measurement analysis for performance evaluation of the 802.15.4 MAC protocol. In Proceedings of the 12th International Workshop on Real-Time Networks (RTN’13). Paris, 7.

[9]

Azadeh Faridi, Maria Rita Palattella, Angel Lozano, Mischa Dohler, Gennaro Boggia, Luigi Alfredo Grieco, and Pietro Camarda. 2010. Comprehensive evaluation of the IEEE 802.15.4 MAC layer performance with retransmissions. IEEE Trans. Vehic. Technol. 59, 8 (Oct. 2010), 3917--3932.

[10]

Matthias Fruth. 2006. Probabilistic model checking of contention resolution in the IEEE 802.15.4 low-rate wireless personal area network protocol. In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA’06). IEEE, 290--297.

Digital Library

[11]

Jan-Hinrich Hauer. 2009. TKN15.4: An IEEE 802.15.4 MAC Implementation for TinyOS 2. TKN Technical Report Series TKN-08-003. Telecommunication Networks Group, Technical University Berlin.

[12]

IEEE. 2003. 802.15.4-2003 - IEEE Standard for Telecommunications and Information Exchange Between Systems - LAN/MAN Specific Requirements - Part 15: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low Rate Wireless Personal Area Networks (WPAN). (2003).

[13]

IEEE. 2011. 802.15.4-2011 - IEEE Standard for Local and metropolitan area networks--Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPANs). (2011).

[14]

Kurt Jensen and Lars M. Kristensen. 2009. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer.

Digital Library

[15]

Jiong Jin, J. Gubbi, S. Marusic, and M. Palaniswami. 2014. An information framework for creating a smart city through internet of things. IEEE Internet Things J. 1, 2 (Apr. 2014), 112--121.

[16]

Cintia B. Margi, Bruno Trevizan de Oliveira, Gustavo T. de Sousa, Marcos A. Simplício Jr., Paulo S. L. M. Barreto, Tereza Cristina M. B. Carvalho, Mats Näslund, and Richard Gold. 2010. Impact of operating systems on wireless sensor networks (security) applications and testbeds. In Proceedings of the 19th International Conference on Computer Communications and Networks, 2010 (ICCCN’10). IEEE, Zurich, 1--6.

[17]

Cintia B. Margi and Katia Obraczka. 2004. Instrumenting network simulators for evaluating energy consumption in power-aware ad-hoc network protocols. In Proceedings of the IEEE Computer Society’s 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS’04). 337--346.

Digital Library

[18]

Steven McCanne and Sally Floyd. 2012. NS Network Simulator. Retrieved August 2013 from http://www.isi.edu/nsnam/ns/.

[19]

MEMSIC Inc. 2004a. MICAz product details. Retrieved May 2016 from www.memsic.com.

[20]

MEMSIC Inc. 2004b. telosB product details. Retrieved May 2016 from www.memsic.com.

[21]

Jelena Mišić, Vojislav B. Mišić, and Shairmina Shafi. 2004. Performance of IEEE 802.15.4 beacon enabled PAN with uplink transmissions in non-saturation mode—Access delay for finite buffers. In Proceedings of the 1st International Conference on Broadband Networks, 2004 (BroadNets’04). IEEE, 416--425.

Digital Library

[22]

Pangun Park, Carlo Fischione, and Karl Henrik Johansson. 2013. Modeling and stability analysis of hybrid multiple access in the IEEE 802.15.4 protocol. ACM Trans. Sen. Netw. 9, 2, Article 13 (Apr. 2013), 55 pages.

Digital Library

[23]

T. R. Park, T. H. Kim, J. Y. Choi, S. Choi, and W. H. Kwon. 2005. Throughput and energy consumption analysis of IEEE 802.15.4 slotted CSMA/CA. Electron. Lett. 41, 18 (Sept. 2005), 1017--1019.

[24]

Sofie Pollin, Mustafa Ergen, Sinem C. Ergen, Bruno Bougard, Liesbet Der Perre, Ingrid Moerman, Ahmad Bahai, Pravin Varaiya, and Francky Catthoor. 2008. Performance analysis of slotted carrier sense IEEE 802.15.4 medium access layer. IEEE Trans. Wireless Commun. 7, 9 (September 2008), 3359--3371.

Digital Library

[25]

Venkatesh Rajendran, J. J. Garcia-Luna-Aveces, and Katia Obraczka. 2005. Energy-efficient, application-aware medium access for sensor networks. In Proceedings of the IEEE International Conference on Mobile Adhoc and Sensor Systems Conference. IEEE, 8--630.

[26]

Venkatesh Rajendran, Katia Obraczka, and J. J. Garcia-Luna-Aceves. 2003. Energy-efficient collision-free medium access control for wireless sensor networks. In Proceedings of the 1st International Conference on Embedded Networked Sensor Systems (SenSys’03). ACM, New York, NY, 181--192.

Digital Library

[27]

Iyappan Ramachandran, Arindam K. Das, and Sumit Roy. 2007. Analysis of the contention access period of IEEE 802.15.4 MAC. ACM Trans. Sen. Netw. 3, 1, Article 4 (Mar. 2007), 29 pages.

Digital Library

[28]

AnneVinter Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, JacobFrank Qvortrup, MartinStig Stissing, Michael Westergaard, Soren Christensen, and Kurt Jensen. 2003. CPN tools for editing, simulating, and analysing coloured petri nets. In Applications and Theory of Petri Nets 2003, Wil M. P. Aalst and Eike Best (Eds.). Lecture Notes in Computer Science, Vol. 2679. Springer, Berlin, 450--462.

Digital Library

[29]

Kévin Roussel, Ye-Qiong Song, and Olivier Zendra. 2016. Using cooja for WSN simulations: Some new uses and limits. In Proceedings of the NextMote Workshop (EWSN’16), Kay Roemer (Ed.). ACM, Junction Publishing, Graz, Austria, 319--324.

Digital Library

[30]

A. Haffiz Shuaib, Toktam Mahmoodi, and A. Hamid Aghvami. 2009. A timed petri net model for the IEEE 802.15.4 CSMA-CA process. In Proceedings of the 2009 IEEE 20th International Symposium on Personal Indoor and Mobile Radio Communications. 1204--1210.

[31]

Tijs van Dam and Koen Langendoen. 2003. An adaptive energy-efficient MAC protocol for wireless sensor networks. In Proceedings of the 1st International Conference on Embedded Networked Sensor Systems (SenSys’03). ACM, New York, NY, 171--180.

Digital Library

[32]

Hao Wen, Chuang Lin, Zhijia Chen, Hao Yin, Tao He, and Eryk Dutkiewicz. 2009. An improved markov model for IEEE 802.15.4 slotted CSMA/CA mechanism.J. Comput. Sci. Technol. 24, 3 (2009), 495--504.

[33]

Wei Ye, John Heidemann, and Deborah Estrin. 2004. Medium access control with coordinated, adaptive sleeping for wireless sensor networks. ACM/IEEE Trans. Netw. 12, 3 (June 2004), 493--506.

Digital Library

[34]

Dmitry A. Zaitsev and Tatiana R. Shmeleva. 2011. A parametric colored petri net model of a switched network. Int. J. Commun. Netw. Syst. Sci. 4, 1 (2011), 65--76.

[35]

Andrea Zanella, Nicola Bui, Angelo Castellani, Lorenzo Vangelista, and Michele Zorzi. 2014. Internet of things for smart cities. IEEE Internet Things J. 1, 1 (Feb. 2014), 22--32.

Cited By

Coronado EValero VOrozco-Barbosa LCambronero MPelayo F(2021)Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri NetsSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00817-220:2(505-538)Online publication date: 1-Apr-2021
https://dl.acm.org/doi/10.1007/s10270-020-00817-2
Abdelli AMokdad LBen Othman JHammal Y(2018)Dealing with a non green behaviour in WSNSimulation Modelling Practice and Theory10.1016/j.simpat.2018.02.00484(124-142)Online publication date: May-2018
https://doi.org/10.1016/j.simpat.2018.02.004

Index Terms

Behavioral Model of IEEE 802.15.4 Beacon-Enabled Mode Based on Colored Petri Net
1. Networks
  1. Network performance evaluation
    1. Network performance modeling
  2. Network protocols
    1. Link-layer protocols

Recommendations

A mathematical model for performance of IEEE 802.15.4 beacon-enabled mode
IWCMC '09: Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly

In this paper a Personal Area Network (PAN) composed of multiple nodes, which transmit data to the PAN coordinator through the beacon-enabled mode of the IEEE 802.15.4 Medium Access Control (MAC) protocol, is considered. Upon reception of the beacon ...
A timed petri net model for frame transmission on IEEE 802.15.4 beacon-enabled mode
PE-WASUN '13: Proceedings of the 10th ACM symposium on Performance evaluation of wireless ad hoc, sensor, & ubiquitous networks

The IEEE 802.15.4 standard is widely used in wireless sensor network applications. While previous work had attempted to model such protocol based on Petri nets, they focused on CSMA/CA, leaving aside the beacon mode implications. Our main contribution ...
A Simple Time Shift Scheme for Beacon Broadcasting Based on Cluster-Tree IEEE 802.15.4 Low-Rate WPANs

Wireless sensor networks based on the IEEE 802.15.4 standard is able to carry out short-distance transmissions in low-rate and low-power wireless personal area networks. To access the channel, it uses the slotted carrier sense multiple access with ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Modeling and Performance Evaluation of Computing Systems

ACM Transactions on Modeling and Performance Evaluation of Computing Systems Volume 2, Issue 4

December 2017

145 pages

ISSN:2376-3639

EISSN:2376-3647

DOI:10.1145/3133236

Editors:
Sem Borst
Nokia Bell Labs / Eindhoven University of Technology, Netherlands
,
Carey Williamson
University of Calgary, Canada

Issue’s Table of Contents

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2017

Accepted: 01 June 2017

Revised: 01 April 2017

Received: 01 July 2016

Published in TOMPECS Volume 2, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

CNPq
FAPESP

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
132
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 23 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Coronado EValero VOrozco-Barbosa LCambronero MPelayo F(2021)Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri NetsSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00817-220:2(505-538)Online publication date: 1-Apr-2021
https://dl.acm.org/doi/10.1007/s10270-020-00817-2
Abdelli AMokdad LBen Othman JHammal Y(2018)Dealing with a non green behaviour in WSNSimulation Modelling Practice and Theory10.1016/j.simpat.2018.02.00484(124-142)Online publication date: May-2018
https://doi.org/10.1016/j.simpat.2018.02.004

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents