{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:36:38Z","timestamp":1781714198652,"version":"3.54.5"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB4502001"],"award-info":[{"award-number":["2022YFB4502001"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62402291"],"award-info":[{"award-number":["62402291"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302265"],"award-info":[{"award-number":["62302265"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U23A20332"],"award-info":[{"award-number":["U23A20332"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Shandong Province Natural Science Foundation","doi-asserted-by":"publisher","award":["ZR2023QF172"],"award-info":[{"award-number":["ZR2023QF172"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Shandong Province Natural Science Foundation","doi-asserted-by":"publisher","award":["2024HWYQ-020"],"award-info":[{"award-number":["2024HWYQ-020"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1109\/tc.2025.3558582","type":"journal-article","created":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T17:25:31Z","timestamp":1744133131000},"page":"2389-2401","source":"Crossref","is-referenced-by-count":2,"title":["FVM: Practical Feather-Weight Virtualization on Commodity Microcontrollers"],"prefix":"10.1109","volume":"74","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3682-791X","authenticated-orcid":false,"given":"Junchao","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8846-5874","authenticated-orcid":false,"given":"Runsheng","family":"Hou","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8571-3605","authenticated-orcid":false,"given":"Guangyong","family":"Shang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3928-7753","authenticated-orcid":false,"given":"Huanle","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5912-4647","authenticated-orcid":false,"given":"Xiuzhen","family":"Cheng","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6090-2733","authenticated-orcid":false,"given":"Runyu","family":"Pan","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2018.8624006"},{"key":"ref2","article-title":"Adaptive AutoSAR. The AUTOSAR runtime for adaptive applications (ARA)","year":"2020"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3199610.3199617"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.hcc.2024.100236"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2021.3124320"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3207115"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00012"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3177102.3177103"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00032"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2018.01.001"},{"key":"ref11","article-title":"Real-time operating system for microcontrollers and small microprocessors","year":"2013"},{"key":"ref12","article-title":"Good motive but bad design: Why ARM MPU has become an outcast in embedded systems","author":"Zhou","year":"2019"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925989"},{"key":"ref14","first-page":"234","article-title":"Multiprogramming a 64 kB computer safely and efficiently","volume-title":"Proc. 26th Symp. Oper. Syst. Princ. (SOSP)","author":"Amit","year":"2017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.37"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5555\/3277203.3277210"},{"key":"ref17","first-page":"231","article-title":"uXOM: Efficient execute-only memory on ARM Cortex-M","volume-title":"Proc. USENIX Secur. Symp. (USENIX Secur.)","author":"Kwon","year":"2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.5121\/ijesa.2023.13201"},{"key":"ref19","article-title":"Mbed $\\mu$\u03bcVisor","year":"2024"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342161"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519573"},{"key":"ref22","article-title":"F9 microkernel","year":"2024"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/2038642.2038687","article-title":"ARMor: Fully verified software fault isolation","volume-title":"Proc. 9th ACM Int. Conf. Embedded Softw. (EMSOFT)","author":"Zhao","year":"2011"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179388"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23107"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592824"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3528535.3565242"},{"key":"ref28","article-title":"MicroPython for microcontrollers","year":"2017"},{"key":"ref29","first-page":"1","article-title":"Control-flow integrity for real-time embedded systems","volume-title":"Proc. 31st Euromicro Conf. Real-Time Syst. (ECRTS)","author":"Walls","year":"2019"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3357390.3361029"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012647"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24016"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_12"},{"key":"ref34","first-page":"2281","article-title":"Holistic control-flow protection on real-time embedded systems with kage","volume-title":"Proc. 31st USENIX Secur. Symp. (USENIX Secur.)","author":"Du","year":"2022"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103568"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623077"},{"key":"ref37","article-title":"IAR embedded workbench","year":"2024"},{"key":"ref38","article-title":"L4linux porting optimizations","author":"Lackorzynski","year":"2004"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00013"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945462"},{"key":"ref41","volume-title":"The Definitive Guide to the Xen Hypervisor","author":"Chisnall","year":"2008"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3358224"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00015"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS48715.2020.000-9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3672197.3673433"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/12\/11030070\/10955464.pdf?arnumber=10955464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T05:43:19Z","timestamp":1749620599000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10955464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7]]},"references-count":45,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tc.2025.3558582","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7]]}}}