Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks
Well-designed wireless sensor networks (WSNs) usually provide vital support for collecting, processing, and forwarding the real-time information in mission-critical applications where medium access control (MAC) protocols determine the channel access control capabilities and the energy consumption p...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2015-09-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | https://doi.org/10.1155/2015/257157 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832555324556443648 |
|---|---|
| author | Zhi Chen Ya Peng Wenjing Yue |
| author_facet | Zhi Chen Ya Peng Wenjing Yue |
| author_sort | Zhi Chen |
| collection | DOAJ |
| description | Well-designed wireless sensor networks (WSNs) usually provide vital support for collecting, processing, and forwarding the real-time information in mission-critical applications where medium access control (MAC) protocols determine the channel access control capabilities and the energy consumption properties of these networks. This paper models the MAC protocol of CSMA/CA using timed automata on the message communication and the energy harvesting and analyzes the protocol through model checking of the major CTL properties. The modeling and analysis of CSMA/CA protocol with the comparative experiments give some performance results and also reveal that timing error may cause deadlock, and the accessibility is satisfied if no deadlock exists. |
| format | Article |
| id | doaj-art-ef91152ddb994329a424c33dae18a184 |
| institution | Kabale University |
| issn | 1550-1477 |
| language | English |
| publishDate | 2015-09-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Distributed Sensor Networks |
| spelling | doaj-art-ef91152ddb994329a424c33dae18a1842025-02-03T05:48:32ZengWileyInternational Journal of Distributed Sensor Networks1550-14772015-09-011110.1155/2015/257157257157Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor NetworksZhi Chen0Ya Peng1Wenjing Yue2 School of Computer Science, The University of Adelaide, Adelaide, SA 5005, Australia Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, ChinaWell-designed wireless sensor networks (WSNs) usually provide vital support for collecting, processing, and forwarding the real-time information in mission-critical applications where medium access control (MAC) protocols determine the channel access control capabilities and the energy consumption properties of these networks. This paper models the MAC protocol of CSMA/CA using timed automata on the message communication and the energy harvesting and analyzes the protocol through model checking of the major CTL properties. The modeling and analysis of CSMA/CA protocol with the comparative experiments give some performance results and also reveal that timing error may cause deadlock, and the accessibility is satisfied if no deadlock exists.https://doi.org/10.1155/2015/257157 |
| spellingShingle | Zhi Chen Ya Peng Wenjing Yue Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks International Journal of Distributed Sensor Networks |
| title | Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks |
| title_full | Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks |
| title_fullStr | Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks |
| title_full_unstemmed | Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks |
| title_short | Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks |
| title_sort | modeling and analyzing csma ca protocol for energy harvesting wireless sensor networks |
| url | https://doi.org/10.1155/2015/257157 |
| work_keys_str_mv | AT zhichen modelingandanalyzingcsmacaprotocolforenergyharvestingwirelesssensornetworks AT yapeng modelingandanalyzingcsmacaprotocolforenergyharvestingwirelesssensornetworks AT wenjingyue modelingandanalyzingcsmacaprotocolforenergyharvestingwirelesssensornetworks |