Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks | Zendy

Zhi Chen | Zendy; Ya Peng | Zendy; Wenjing Yue | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks

Author(s) -

Zhi Chen,

Ya Peng,

Wenjing Yue

Publication year - 2015

Publication title -

international journal of distributed sensor networks

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.324

H-Index - 53

eISSN - 1550-1477

pISSN - 1550-1329

DOI - 10.1155/2015/257157

Subject(s) - computer science , computer network , deadlock , wireless sensor network , protocol (science) , energy consumption , access control , distributed computing , channel (broadcasting) , energy (signal processing) , wireless , telecommunications , medicine , statistics , alternative medicine , mathematics , pathology , ecology , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research