{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:40:04Z","timestamp":1761324004868},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T00:00:00Z","timestamp":1430179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1007\/s11241-015-9223-2","type":"journal-article","created":{"date-parts":[[2015,4,27]],"date-time":"2015-04-27T11:35:06Z","timestamp":1430134506000},"page":"675-723","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Cache-aware compositional analysis of real-time multicore virtualization platforms"],"prefix":"10.1007","volume":"51","author":[{"given":"Meng","family":"Xu","sequence":"first","affiliation":[]},{"given":"Linh Thi Xuan","family":"Phan","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"Sisu","family":"Xi","sequence":"additional","affiliation":[]},{"given":"Chenyang","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Gill","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,28]]},"reference":[{"key":"9223_CR1","doi-asserted-by":"crossref","unstructured":"Barham P, Dragovic B, Fraser K, Hand S, Harris T, Ho A, Neugebauer R, Pratt I, Warfield A (2003) Xen and the art of virtualization. In: SOSP","DOI":"10.1145\/945445.945462"},{"issue":"3","key":"9223_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s11241-007-9047-9","volume":"38","author":"S Baruah","year":"2008","unstructured":"Baruah S, Baker T (2008) Schedulability analysis of global EDF. Real Time Syst 38(3):223\u2013235","journal-title":"Real Time Syst"},{"key":"9223_CR3","doi-asserted-by":"crossref","unstructured":"Baruah S, Fisher N (2009) Component-based design in multiprocessor real-time systems. In: ICESS","DOI":"10.1109\/ICESS.2009.71"},{"key":"9223_CR4","unstructured":"Bastoni A, Brandenburg BB, Anderson JH (2010) Cache-related preemption and migration delays: empirical approximation and impact on schedulability. In: Proceedings of OSPERT"},{"key":"9223_CR5","unstructured":"Basumallick S, Nilsen K (1994) Cache issues in real-time systems. In: LCTES"},{"key":"9223_CR6","doi-asserted-by":"crossref","unstructured":"Bini E, Bertogna M, Baruah S (2009) Virtual multiprocessor platforms: specification and use. In: RTSS","DOI":"10.1109\/RTSS.2009.35"},{"key":"9223_CR7","unstructured":"Brandenburg BB (2011) Scheduling and locking in multiprocessor real-time operating systems. PhD thesis, The University of North Carolina at Chapel Hill, Chapel Hill"},{"issue":"6","key":"9223_CR8","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1016\/j.sysarc.2010.05.011","volume":"57","author":"BB Brandenburg","year":"2011","unstructured":"Brandenburg BB, Leontyev H, Anderson JH (2011) An overview of interrupt accounting techniques for multiprocessor real-time systems. J Syst Archit 57(6):638\u2013654","journal-title":"J Syst Archit"},{"key":"9223_CR9","doi-asserted-by":"crossref","unstructured":"Bruns F, Traboulsi S, Szczesny D, Gonzalez E, Xu Y, Bilgic A (2010) An evaluation of microkernel-based virtualization for embedded real-time systems. In: ECRTS","DOI":"10.1109\/ECRTS.2010.28"},{"key":"9223_CR10","doi-asserted-by":"crossref","unstructured":"Calandrino JM, Leontyev H, Block A, Devi UC, Anderson JH (2006) LITMUS RT: a testbed for empirically comparing real-time multiprocessor schedulers. In: RTSS","DOI":"10.1109\/RTSS.2006.27"},{"key":"9223_CR11","doi-asserted-by":"crossref","unstructured":"Crespo A, Ripoll I, Masmano M (2010) Partitioned embedded architecture based on hypervisor: the XtratuM approach. In: EDCC","DOI":"10.1109\/EDCC.2010.18"},{"key":"9223_CR12","doi-asserted-by":"crossref","unstructured":"Easwaran A, Anand M, Lee I (2007) Compositional analysis framework using EDP resource models. In: RTSS","DOI":"10.1109\/RTSS.2007.36"},{"issue":"1","key":"9223_CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s11241-009-9073-x","volume":"43","author":"A Easwaran","year":"2009","unstructured":"Easwaran A, Shin I, Lee I (2009) Optimal virtual cluster-based multiprocessor scheduling. Real Time Syst 43(1):25\u201359","journal-title":"Real Time Syst"},{"key":"9223_CR14","doi-asserted-by":"crossref","unstructured":"Guan N, Stigge M, Yi W, Yu G (2009) Cache-aware scheduling and analysis for multicores. In: EMSOFT","DOI":"10.1145\/1629335.1629369"},{"key":"9223_CR15","doi-asserted-by":"crossref","unstructured":"Hardy D, Piquet T, Puaut I (2009) Using bypass to tighten WCET estimates for multi-core processors with shared instruction caches. In: RTSS","DOI":"10.1109\/RTSS.2009.34"},{"key":"9223_CR16","unstructured":"Kim T, Peinado M, Mainar-Ruiz G (2012) System-level protection against cache-based side channel attacks in the cloud. In: USENIX security"},{"issue":"1","key":"9223_CR17","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/1967021.1967026","volume":"8","author":"J Lee","year":"2011","unstructured":"Lee J, Phan LTX, Chen S, Sokolsky O, Lee I (2011) Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Rev 8(1):38\u201345","journal-title":"SIGBED Rev"},{"key":"9223_CR18","doi-asserted-by":"crossref","unstructured":"Lee J, Xi S, Chen S, Phan LTX, Gill C, Lee I, Lu C, Sokolsky O (2012) Realizing compositional scheduling through virtualization. In: RTAS","DOI":"10.1109\/RTAS.2012.20"},{"key":"9223_CR19","doi-asserted-by":"crossref","unstructured":"Leontyev H, Anderson JH (2008) A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees. In: ECRTS","DOI":"10.1109\/ECRTS.2008.22"},{"key":"9223_CR20","doi-asserted-by":"crossref","unstructured":"Lipari G, Bini E (2010) A framework for hierarchical scheduling on multiprocessors: from application requirements to run-time allocation. In: RTSS","DOI":"10.1109\/RTSS.2010.12"},{"key":"9223_CR21","doi-asserted-by":"crossref","unstructured":"Phan LTX, Xu M, Lee J, Lee I, Sokolsky O (2013) Overhead-aware compositional analysis of real-time systems. In: RTAS","DOI":"10.1109\/RTAS.2013.6531096"},{"key":"9223_CR22","unstructured":"Sha L, Lehoczky JP, Rajkumar R (1986) Solutions for some practical problems in prioritized preemptive scheduling. In: RTSS"},{"key":"9223_CR23","unstructured":"Shin I, Lee I (2003) Periodic resource model for compositional real-time guarantees. In: Proceedings of the 24th IEEE real-time systems symposium (RTSS), Cancun"},{"key":"9223_CR24","doi-asserted-by":"crossref","unstructured":"Shin I, Easwaran A, Lee I (2008) Hierarchical scheduling framework for virtual clustering of multiprocessors. In: ECRTS","DOI":"10.1109\/ECRTS.2008.28"},{"key":"9223_CR25","doi-asserted-by":"crossref","unstructured":"Xi S, Xu M, Lu C, Phan LTX, Gill C, Sokolsky O, Lee I (2014) Real-time multi-core virtual machine scheduling in Xen. In: EMSOFT","DOI":"10.1145\/2656045.2656066"},{"key":"9223_CR26","doi-asserted-by":"crossref","unstructured":"Xu M, Phan LTX, Lee I, Sokolsky O, Xi S, Lu C, Gill CD (2013) Cache-aware compositional analysis of real-time multicore virtualization platforms. In: RTSS","DOI":"10.1109\/RTSS.2013.9"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9223-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-015-9223-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9223-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T04:40:30Z","timestamp":1566621630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-015-9223-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,28]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["9223"],"URL":"https:\/\/doi.org\/10.1007\/s11241-015-9223-2","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,28]]}}}