{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:14:07Z","timestamp":1725498847096},"reference-count":20,"publisher":"SAGE Publications","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61501253","60905040","61300239","BK20131382","BK20151506","XXRJ-009","2013M531393","1102102C","JS-2013-209"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Distributed Sensor Networks"],"published-print":{"date-parts":[[2015,9,1]]},"abstract":" 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. <\/jats:p>","DOI":"10.1155\/2015\/257157","type":"journal-article","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T21:38:52Z","timestamp":1441143532000},"page":"257157","update-policy":"http:\/\/dx.doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":9,"title":["Modeling and Analyzing CSMA\/CA Protocol for Energy-Harvesting Wireless Sensor Networks"],"prefix":"10.1177","volume":"11","author":[{"given":"Zhi","family":"Chen","sequence":"first","affiliation":[{"name":"College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"},{"name":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"},{"name":"School of Computer Science, The University of Adelaide, Adelaide, SA 5005, Australia"}]},{"given":"Ya","family":"Peng","sequence":"additional","affiliation":[{"name":"College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"},{"name":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"}]},{"given":"Wenjing","family":"Yue","sequence":"additional","affiliation":[{"name":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"},{"name":"College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China"}]}],"member":"179","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"key":"B1-2015-257157","doi-asserted-by":"publisher","DOI":"10.1016\/s1389-1286(01)00302-4"},{"key":"B2-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/surv.2011.020211.00036"},{"key":"B3-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/surv.2013.112613.00094"},{"key":"B4-2015-257157","first-page":"1","volume-title":"Proceedings of the Instrumentation and Measurement Technology Conference (IMTC \u201807)","author":"Bertocco M."},{"key":"B5-2015-257157","doi-asserted-by":"publisher","DOI":"10.1049\/iet-wss.2012.0079"},{"key":"B6-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/sensorcomm.2007.4394907"},{"key":"B7-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/ainaw.2007.77"},{"key":"B8-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/mssc.2010.936667"},{"key":"B9-2015-257157","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"B10-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/wirelessvitae.2009.5172414"},{"key":"B11-2015-257157","doi-asserted-by":"publisher","DOI":"10.1145\/1278972.1278980"},{"key":"B12-2015-257157","doi-asserted-by":"publisher","DOI":"10.1145\/1127777.1127852"},{"key":"B13-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/tcomm.2012.030712.110089"},{"key":"B14-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/INSS.2012.6240580"},{"key":"B15-2015-257157","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"B16-2015-257157","first-page":"35","volume-title":"Proceedings of the 3nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks","author":"Perla E."},{"key":"B17-2015-257157","first-page":"1","volume-title":"Proceedings of the 8th European Conference on Wireless Sensor Networks (EWSN \u201811)","author":"Hauer J. H."},{"key":"B18-2015-257157","doi-asserted-by":"publisher","DOI":"10.1109\/icacci.2014.6968280"},{"key":"B19-2015-257157","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/415174"},{"key":"B20-2015-257157","doi-asserted-by":"publisher","DOI":"10.3390\/s141120500"}],"container-title":["International Journal of Distributed Sensor Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/journals.sagepub.com\/doi\/pdf\/10.1155\/2015\/257157","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/journals.sagepub.com\/doi\/full-xml\/10.1155\/2015\/257157","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/journals.sagepub.com\/doi\/pdf\/10.1155\/2015\/257157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,7]],"date-time":"2021-05-07T12:29:10Z","timestamp":1620390550000},"score":1,"resource":{"primary":{"URL":"http:\/\/journals.sagepub.com\/doi\/10.1155\/2015\/257157"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,1]]},"references-count":20,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2015,9,1]]}},"alternative-id":["10.1155\/2015\/257157"],"URL":"https:\/\/doi.org\/10.1155\/2015\/257157","relation":{},"ISSN":["1550-1477","1550-1477"],"issn-type":[{"value":"1550-1477","type":"print"},{"value":"1550-1477","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,1]]}}}