Collision-free multichannel superframe scheduling for IEEE 802.15.4 cluster-tree networks

The beacon-enabled mode is effective in improving real-time performance of wireless sensor networks (WSNs). Keeping cluster heads and members synchronised in cluster-tree networks becomes challenging in presence of beacon collisions. In this paper, we study a collision-free multichannel superframe scheduling problem. We first formulate this problem in the satisfiability modulo theories (SMT) specification. It can be solved by an SMT solver but with limited scalability. Then, we present two more efficient approaches. Our results show that the proposed approaches can significantly improve the schedulability of superframes compared to the existing approach. Finally, we implement a real system based on a wireless network for industrial automation-process automation (WIA-PA) network to show the feasibility of our proposal.

[1]  Yu-Chee Tseng,et al.  Quick convergecast in ZigBee beacon-enabled tree-based wireless sensor networks , 2008, Comput. Commun..

[2]  Giorgio C. Buttazzo,et al.  WBuST: A real-time energy-aware MAC layer protocol for wireless embedded systems , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[3]  Lucia Lo Bello,et al.  Multichannel Superframe Scheduling for IEEE 802.15.4 Industrial Wireless Sensor Networks , 2012, IEEE Transactions on Industrial Informatics.

[4]  Alois Knoll,et al.  Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Dongkyun Kim,et al.  On the design of beacon based wireless sensor network for agricultural emergency monitoring systems , 2014, Comput. Stand. Interfaces.

[6]  Cesare Tinelli,et al.  DPLL( T): Fast Decision Procedures , 2004, CAV.

[7]  Virtual Bridged,et al.  IEEE Standards for Local and Metropolitan Area Networks: Specification for 802.3 Full Duplex Operation , 1997, IEEE Std 802.3x-1997 and IEEE Std 802.3y-1997 (Supplement to ISO/IEC 8802-3: 1996/ANSI/IEEE Std 802.3, 1996 Edition).

[8]  Luís Almeida,et al.  A Dynamic Dual-Rate Beacon Scheduling Method of ZigBee/IEEE 802.15.4 for Target Tracking , 2010, 2010 Sixth International Conference on Mobile Ad-hoc and Sensor Networks.

[9]  Bo Li,et al.  Bandwidth Sharing Schemes for Multimedia Traffic in the IEEE 802.11e Contention-Based WLANs , 2007, IEEE Transactions on Mobile Computing.

[10]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.

[11]  Zdenek Hanzálek,et al.  Energy Efficient Scheduling for Cluster-Tree Wireless Sensor Networks With Time-Bounded Data Flows: Application to IEEE 802.15.4/ZigBee , 2010, IEEE Transactions on Industrial Informatics.

[12]  Anis Koubaa,et al.  A Time Division Beacon Scheduling Mechanism for IEEE 802.15.4/Zigbee Cluster-Tree Wireless Sensor Networks , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[13]  Cesare Tinelli,et al.  Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.

[14]  Chen He,et al.  An individual beacon order adaptation algorithm for IEEE 802.15.4 networks , 2008, 2008 11th IEEE Singapore International Conference on Communication Systems.

[15]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[16]  Eduardo Tovar,et al.  GTS allocation analysis in IEEE 802.15.4 for real-time wireless sensor networks , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[17]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[18]  Lucia Lo Bello,et al.  Coexistence Issues of Multiple Co-Located IEEE 802.15.4/ZigBee Networks Running on Adjacent Radio Channels in Industrial Environments , 2009, IEEE Transactions on Industrial Informatics.

[19]  Eduardo Tovar,et al.  An implicit GTS allocation mechanism in IEEE 802.15.4 for time-sensitive wireless sensor networks: theory and practice , 2007, Real-Time Systems.

[20]  Qu Yu-gui.  Energy-efficient time-synchronization algorithm for wireless sensor networks , 2009 .

[21]  Lucia Lo Bello,et al.  A multichannel approach to avoid beacon collisions in IEEE 802.15.4 cluster-tree industrial networks , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[22]  Saikat Guha,et al.  Generalized resource allocation for the cloud , 2012, SoCC '12.

[23]  Xiaoling Zhang,et al.  Survey and experiments of WIA-PA specification of industrial wireless network , 2011, Wirel. Commun. Mob. Comput..

[24]  Sunghyun Choi,et al.  Two-level protection and guarantee for multimedia traffic in IEEE 802.11e distributed WLANs , 2009, Wirel. Networks.

[25]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[26]  Zeng Peng,et al.  An Energy-Efficient Time Synchronization Algorithm for Wireless Sensor Networks , 2011 .

[27]  Klaus Kabitzsch,et al.  A new beacon order adaptation algorithm for IEEE 802.15.4 networks , 2005, Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005..

[28]  Eduardo Tovar,et al.  i-GAME: an implicit GTS allocation mechanism in IEEE 802.15.4 for time-sensitive wireless sensor networks , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[29]  Yu-Chee Tseng,et al.  Two-Way Beacon Scheduling in ZigBee Tree-Based Wireless Sensor Networks , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[30]  Wook Hyun Kwon,et al.  DCA: Duty-Cycle Adaptation Algorithm for IEEE 802.15.4 Beacon-Enabled Networks , 2007, 2007 IEEE 65th Vehicular Technology Conference - VTC2007-Spring.