{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:45:55Z","timestamp":1761324355205,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"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":["U19A2060"],"award-info":[{"award-number":["U19A2060"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002920","name":"Research Grants Council of Hong Kong","doi-asserted-by":"publisher","award":["GRF 15213818"],"award-info":[{"award-number":["GRF 15213818"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1109\/tcad.2021.3059566","type":"journal-article","created":{"date-parts":[[2021,2,16]],"date-time":"2021-02-16T21:12:18Z","timestamp":1613509938000},"page":"320-333","source":"Crossref","is-referenced-by-count":12,"title":["Toward an Analysable, Scalable, Energy-Efficient I\/O Virtualization for Mixed-Criticality Systems"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8509-3167","authenticated-orcid":false,"given":"Zhe","family":"Jiang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6669-5234","authenticated-orcid":false,"given":"Xiaotian","family":"Dai","sequence":"additional","affiliation":[]},{"given":"Pan","family":"Dong","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2191-1359","authenticated-orcid":false,"given":"Ran","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Dawei","family":"Yang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3739-6590","authenticated-orcid":false,"given":"Neil C.","family":"Audsley","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3775-911X","authenticated-orcid":false,"given":"Nan","family":"Guan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNT.2010.49"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2016.13"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132754"},{"journal-title":"Quest-V A virtualized multikernel for high-confidence systems","year":"2011","author":"li","key":"ref31"},{"key":"ref30","first-page":"182","article-title":"Effective worst-case execution time analysis of DO178C level a software","volume":"36","author":"law","year":"2015","journal-title":"Ada User J"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2641361.2641379"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005255"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2018.8433781"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2013.109"},{"journal-title":"Encounter RTL Compiler","year":"2021","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.044"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9193-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2018.00016"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101774"},{"journal-title":"EEMBC Benchmark","year":"2021","key":"ref16"},{"journal-title":"Renesas Automotive Use Cases","year":"2021","key":"ref17"},{"journal-title":"Freertos official website","year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21338-0_13"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD50377.2020.00092"},{"key":"ref3","first-page":"37","article-title":"Memory architectures for NoC-based real-time mixed criticality systems","author":"audsley","year":"2013","journal-title":"Proc WMC Real-Time Syst Symp"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"journal-title":"Low-Power Digital VLSI Design Circuits and Systems","year":"2012","author":"bellaouar","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.10"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3273905.3273911"},{"key":"ref8","first-page":"1","article-title":"Mixed criticality systems—A review","author":"burns","year":"2013"},{"journal-title":"Bluespec System Verilog","year":"2021","key":"ref7"},{"journal-title":"ARM official website Web","year":"2021","key":"ref2"},{"journal-title":"Real-Time Systems and Programming Languages Ada 95 Real-Time Java and Real-Time POSIX","year":"2001","author":"burns","key":"ref9"},{"journal-title":"26262 Road vehicles-Functional safety","year":"2018","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSoC.2013.6675268"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2019.07.007"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6658989"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2595581"},{"journal-title":"Official website of Xilinx","year":"2021","key":"ref42"},{"journal-title":"Computer Architecture A Quantitative Approach","year":"2011","author":"hennessy","key":"ref24"},{"key":"ref23","first-page":"1","article-title":"Towards adaptive resource management for virtualized real-time systems","author":"groesbrink","year":"2012","journal-title":"Proc Workshop Adapt Reconfig Embedded Syst"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2935748"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287653"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS46320.2019.00037"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP40776.2020.9053659"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3309765"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9686308\/09354856.pdf?arnumber=9354856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T21:03:22Z","timestamp":1650920602000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9354856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2]]},"references-count":45,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3059566","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2022,2]]}}}