{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:39:13Z","timestamp":1742384353965,"version":"3.37.3"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ONR","award":["N00014-16-1-2195"],"award-info":[{"award-number":["N00014-16-1-2195"]}]},{"name":"Global Research Laboratory Program through NRF and the DGIST Research and Development Program"},{"DOI":"10.13039\/501100003621","name":"Ministry of Science, ICT and Future Planning","doi-asserted-by":"publisher","award":["2013K1A1A2A02078326"],"award-info":[{"award-number":["2013K1A1A2A02078326"]}],"id":[{"id":"10.13039\/501100003621","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007053","name":"Korea Institute of Energy Technology Evaluation and Planning","doi-asserted-by":"publisher","award":["20174030201440"],"award-info":[{"award-number":["20174030201440"]}],"id":[{"id":"10.13039\/501100007053","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education, Singapore","doi-asserted-by":"crossref","award":["ARC9\/14"],"award-info":[{"award-number":["ARC9\/14"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tcad.2018.2858465","type":"journal-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T18:46:00Z","timestamp":1539715560000},"page":"2869-2880","source":"Crossref","is-referenced-by-count":3,"title":["Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2308-1638","authenticated-orcid":false,"given":"Jin Hyun","family":"Kim","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyong Hoon","family":"Kim","sequence":"additional","affiliation":[{"name":"Department of Informatics, Gyeongsang National University, Jinju, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9628-3847","authenticated-orcid":false,"given":"Arvind","family":"Easwaran","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2672-1132","authenticated-orcid":false,"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"ref12","first-page":"2","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"Proc IEEE Real-Time Systems Symp (RTSS)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.36"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00011"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.28"},{"article-title":"Schedulability analysis for a real-time multiprocessor system based on service contracts and resource partitioning","year":"2008","author":"chang","key":"ref16"},{"key":"ref17","first-page":"256","article-title":"A fixed-priority-driven open environment for real-time applications","author":"kuo","year":"1999","journal-title":"Proc IEEE 20th Real-Time Systems Symp"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"ref19","article-title":"On the complexity of generating optimal interfaces for hierarchical systems","author":"easwaran","year":"2008","journal-title":"Proc Workshop on Compositional Theory Technol Real-Time Embedded Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.20"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341920"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.46"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"ref5","first-page":"60","article-title":"TIMES: A tool for schedulability analysis and code generation of real-time systems","author":"amnell","year":"2003","journal-title":"Proc FORMATS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.320"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"368","DOI":"10.4271\/2017-01-1621","article-title":"Timing analysis for hypervisor-based I\/O virtualization in safety-related automotive systems","volume":"10","author":"kohn","year":"2017","journal-title":"SAE Int J Passenger Cars Electron Elect Syst"},{"journal-title":"Safety Critical Products ARINC 653 Partition Scheduler","year":"2017","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.16"},{"key":"ref22","article-title":"Real world automotive benchmark for free","author":"kramer","year":"2015","journal-title":"Proc WATERS"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2444833"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2015.2437379"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531096"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160369"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8496924\/08493505.pdf?arnumber=8493505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T17:29:29Z","timestamp":1692206969000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8493505\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":27,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2858465","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}