{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T18:41:03Z","timestamp":1649011263942},"reference-count":22,"publisher":"Hindawi Limited","license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["60905040","BK20131382","XXRJ-009","2013M531393","1102102C"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Sensors"],"published-print":{"date-parts":[[2015]]},"abstract":"Accurate and reliable routing protocols with Quality of Service (QoS) support determine the mission-critical application efficiency in WSNs. This paper proposes a model-checking design driven framework for designing the QoS-based routing protocols of WSNs, which involves the light-weight design process, the timed automata model, and the alternative QoS verification properties. The accurate feedback of continually model checking in the iterative design process effectively stimulates the parameter tuning of the protocols. We demonstrate the straightforward and modular characteristics of the proposed framework in designing a prototype QoS-based routing protocol. The prototype study shows that the model-checking design framework may complement other design methods and ensure the QoS implementation of the QoS-based routing protocol design for WSNs.<\/jats:p>","DOI":"10.1155\/2015\/716561","type":"journal-article","created":{"date-parts":[[2015,6,22]],"date-time":"2015-06-22T21:02:32Z","timestamp":1435006952000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks"],"prefix":"10.1155","volume":"2015","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":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China"}]},{"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":"98","reference":[{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2014.12.016"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.3390\/s120100650"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/121278"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.3390\/s141120500"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379785"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24690-6_2"},{"key":"8","year":"1999"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.058"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.034"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87785-1_34"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.02.010"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/745252"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/tpds.2013.240"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-014-0769-z"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2013.05.012"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2013.02.005"},{"issue":"1","key":"20","first-page":"1","volume":"11","year":"2014","journal-title":"International Journal of Computer Science and Business Informatics"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/2518102"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511626609"}],"container-title":["Journal of Sensors"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/js\/2015\/716561.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/js\/2015\/716561.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/js\/2015\/716561.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,15]],"date-time":"2020-05-15T11:05:51Z","timestamp":1589540751000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/js\/2015\/716561\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":22,"alternative-id":["716561","716561"],"URL":"https:\/\/doi.org\/10.1155\/2015\/716561","relation":{},"ISSN":["1687-725X","1687-7268"],"issn-type":[{"value":"1687-725X","type":"print"},{"value":"1687-7268","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}