{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T21:26:22Z","timestamp":1740173182726,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61402197","61772211","61872310"],"award-info":[{"award-number":["61402197","61772211","61872310"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Hong Kong Research Grants Council","award":["16202917"],"award-info":[{"award-number":["16202917"]}]},{"name":"Guangdong Province Science and Technology Plan Project in China","award":["2017A040405030"],"award-info":[{"award-number":["2017A040405030"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/jiot.2019.2900769","type":"journal-article","created":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T20:14:02Z","timestamp":1550780042000},"page":"5376-5386","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5959-0629","authenticated-orcid":false,"given":"Yuxia","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9831-2202","authenticated-orcid":false,"given":"Song","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3508-7172","authenticated-orcid":false,"given":"Shing-Chi","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2489253.2489255"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.132"},{"journal-title":"Dynamic Invariant Detection for Sensor Network Application","year":"2011","author":"kamph","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2505901"},{"journal-title":"The FreeRTOS kernel","year":"2019","author":"barry","key":"ref30"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2004.1381912"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/958503.958506"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5637"},{"journal-title":"A Survey of Wireless Sensor Network Simulation Tools","year":"2017","author":"yu","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.28"},{"key":"ref40","first-page":"5","article-title":"Dynamic logging with Dylog in networked embedded systems","volume":"15","author":"dong","year":"2016","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1523"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192385"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190552"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.75"},{"journal-title":"T-Morph Revealing Buggy Behaviors of TinyOS Applications via Rule Mining and Visualization","year":"2012","author":"zhou","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27139-2_7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2641638.2641652"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644040"},{"key":"ref4","first-page":"182","article-title":"Applications and challenges faced by Internet of Things—A survey","author":"shah","year":"2016","journal-title":"Proc Int Conf Future Intell Veh Technol"},{"journal-title":"TinyOS CVS Repository","year":"2010","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2012.09.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-017-9403-6"},{"journal-title":"Contiki the Open Source Os for the Internet of Things","year":"2019","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.28"},{"key":"ref8","first-page":"381","article-title":"Fidelity and yield in a volcano monitoring sensor network","author":"werner-allen","year":"2006","journal-title":"Proc Symp Oper Syst Design Implement"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.021111.00098"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.09.006"},{"journal-title":"Internet of Things Wireless Sensor Networks","year":"2014","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2461381.2461427"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1340771.1340774"},{"journal-title":"Creating a New Platform for TinyOS 2 X","year":"2017","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626609"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2530290"},{"journal-title":"Source Code Release Package of Sentomist Prototype Tool (Version 0 44)","year":"2010","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.28"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1070891.1065919"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"journal-title":"Home of the Cygwin Project","year":"2014","key":"ref26"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053014"},{"journal-title":"Avrora CVS Repository","year":"2017","key":"ref25"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6488907\/8738925\/08648188.pdf?arnumber=8648188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:08:56Z","timestamp":1657746536000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8648188\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":44,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2019.2900769","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"type":"electronic","value":"2327-4662"},{"type":"electronic","value":"2372-2541"}],"subject":[],"published":{"date-parts":[[2019,6]]}}}