{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:21:11Z","timestamp":1764937271968,"version":"3.37.3"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"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"}]},{"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"}]},{"name":"ARM Ltd."},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61902185"],"award-info":[{"award-number":["61902185"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"Jiangsu Provincial Natural Science Foundation","doi-asserted-by":"publisher","award":["BK20190448"],"award-info":[{"award-number":["BK20190448"]}],"id":[{"id":"10.13039\/501100004608","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,4]]},"DOI":"10.1109\/tcad.2021.3075422","type":"journal-article","created":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T21:36:59Z","timestamp":1619473019000},"page":"1116-1129","source":"Crossref","is-referenced-by-count":22,"title":["Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8509-3167","authenticated-orcid":false,"given":"Zhe","family":"Jiang","sequence":"first","affiliation":[{"name":"Department of Central Engineering, ARM Ltd., Sheffiled, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuai","family":"Zhao","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of York, York, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2191-1359","authenticated-orcid":false,"given":"Ran","family":"Wei","sequence":"additional","affiliation":[{"name":"School of Artificial Intelligence, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dawei","family":"Yang","sequence":"additional","affiliation":[{"name":"Academy for Engineering and Technology, Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4981-0170","authenticated-orcid":false,"given":"Richard","family":"Paterson","sequence":"additional","affiliation":[{"name":"Department of Central Engineering, ARM Ltd., Sheffiled, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3775-911X","authenticated-orcid":false,"given":"Nan","family":"Guan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Hong Kong City University, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7640-4330","authenticated-orcid":false,"given":"Yan","family":"Zhuang","sequence":"additional","affiliation":[{"name":"School of Artificial Intelligence, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3739-6590","authenticated-orcid":false,"given":"Neil C.","family":"Audsley","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of York, York, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2697955"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488378"},{"article-title":"Mixed criticality systems\u2013A review","year":"2013","author":"Burns","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"volume-title":"Road Vehicles-Functional Safety","year":"2018","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101774"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2018.00016"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3291047"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-9308-9"},{"key":"ref10","first-page":"19","article-title":"Safety assurance driven problem formulation for mixed-criticality scheduling","author":"Graydon","year":"2013","journal-title":"Proc. WMC Real-Time Syst. Symp."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2594790"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD50377.2020.00092"},{"key":"ref13","first-page":"191","article-title":"Supporting I\/O and IPC via fine-grained OS isolation for mixed-criticality RT tasks","volume-title":"Proc. RTNS","author":"Kim"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21338-0_13"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2012.1523"},{"volume-title":"The Overview of Global Automotive Semiconductor Markets From 2018 to 2020","year":"2021","key":"ref16"},{"volume-title":"The Official Website of NXP","year":"2021","key":"ref17"},{"volume-title":"NXP: NXP S32x Series","year":"2021","key":"ref18"},{"volume-title":"NXP: Functional Safety System Basis Chips (FSSBC)","year":"2021","key":"ref19"},{"volume-title":"The Official Website of Infineon","year":"2021","key":"ref20"},{"volume-title":"Infineon: 32-bit TriCore Microcontroller","year":"2021","key":"ref21"},{"volume-title":"The Official Website of Renesas Electronics","year":"2021","key":"ref22"},{"volume-title":"Renesas: Micro Controllers","year":"2019","key":"ref23"},{"volume-title":"Renesas: Rh850 Micro-Controller Family","year":"2021","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.044"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.37"},{"key":"ref27","first-page":"579","article-title":"MPIOV: Scaling hardware-based I\/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges","volume-title":"Proc. DATE","author":"M\u00fcnch"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2935748"},{"key":"ref29","first-page":"5","article-title":"VCDC: The virtualized complicated device controller","volume-title":"Proc. ECRTS","author":"Jiang"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990598"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019795414875"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2677442"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"volume-title":"Computer Architecture: A Quantitative Approach","year":"2011","author":"Hennessy","key":"ref34"},{"volume-title":"Xen Website","year":"2020","key":"ref35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365393"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2017.8046311"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2641361.2641379"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"volume-title":"EEMBC Benchmark","year":"2021","key":"ref41"},{"volume-title":"Renesas: Automotive Use Cases","year":"2021","key":"ref42"},{"issue":"3","key":"ref43","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."}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9737555\/09415640.pdf?arnumber=9415640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:44:44Z","timestamp":1704843884000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9415640\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4]]},"references-count":43,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3075422","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2022,4]]}}}