{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:31Z","timestamp":1763466511003,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/rtas.2014.6925987","type":"proceedings-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T14:35:37Z","timestamp":1421850937000},"page":"13-24","source":"Crossref","is-referenced-by-count":13,"title":["Towards certifiable adaptive reservations for hypervisor-based virtualization"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Groesbrink","sequence":"first","affiliation":[]},{"given":"Luis","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Mario","family":"de Sousa","sequence":"additional","affiliation":[]},{"given":"Stefan M.","family":"Petters","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"35:1","article-title":"A Survey of Hard Real-Time Scheduling for Multiprocessor Systems","volume":"43","author":"davis","year":"2010","journal-title":"ACM Computing Surveys"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"ref33","article-title":"Operating System Support for Virtual Machines","author":"king","year":"2003","journal-title":"Proc USENIX Annual Technical Conference"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/945461.945462"},{"key":"ref31","article-title":"Energy Saving in Automotive E\/E Architectures","author":"liebetrau","year":"2012","journal-title":"Tech Rep"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2010.5637677"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.24"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.135"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref34","article-title":"Towards Linux as a Real-Time Hypervisor","author":"kiszka","year":"2011","journal-title":"Proc Real Time Linux Workshop"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21878-1_81"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967025"},{"key":"ref29","first-page":"13","article-title":"Realizing Compositional Scheduling Through Virtualization","author":"lee","year":"2011","journal-title":"Proc Real-Time Embedded Technology Applications Symposium (RTAS)"},{"key":"ref2","article-title":"Multicore Scheduling in Automotive ECUs","author":"monot","year":"2010","journal-title":"Proc Embedded Real Time Software and Systems (ERTSS)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860910-5\/50009-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.043"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.320"},{"key":"ref21","article-title":"Multicore Operating-System Support for Mixed Criticality","author":"anderson","year":"2009","journal-title":"Proc IEEE Workshop Mixed Criticality Roadmap to Evolving UAV Certification"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.28"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.24"},{"key":"ref26","article-title":"XtratuM Hypervisor Redesign for LEON4 Multicore Processor","author":"carrascosa","year":"2013","journal-title":"Proc Workshop on virtualization for Real-time Embedded Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.18"},{"journal-title":"RTSIM","year":"2012","author":"bartolini","key":"ref50"},{"journal-title":"Schedcat The Schedulability Test Collection and Toolkit","year":"2013","author":"brandenburg","key":"ref51"},{"key":"ref52","article-title":"Techniques for the Synthesis of Multiprocessor Tasksets","author":"emberson","year":"2010","journal-title":"Proc Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.21"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MM.2011.1","article-title":"Resource Management on Multicore Systems: The ACTORS Approach","volume":"31","author":"buttazzo","year":"2011","journal-title":"IEEE Micro"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.17"},{"key":"ref13","first-page":"97","article-title":"Spare Capacity Distribution Using Exact Response-time Analysis","author":"zabos","year":"2009","journal-title":"Proceedings of International Conference on Real-Time and Network Systems (RTNS)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.854007"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.25"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370349"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013481420080"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2004.1317266"},{"key":"ref19","article-title":"Adaptive Resource Management Made Real","author":"arzen","year":"2011","journal-title":"Proc Workshop on Adaptive and Reconfigurable Embedded Systems (APRES)"},{"key":"ref4","first-page":"1","volume":"14","year":"2011","journal-title":"International Organization for Standardization “ISO 26262 — Road vehicles — Functional safety Part"},{"key":"ref3","first-page":"217","article-title":"Mixed-Criticality Scheduling: Improved Resource-Augmentation Results","author":"baruah","year":"2010","journal-title":"Proc Conference on Computers and Their Applications (CATA)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2583687.2583692"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.54033"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9156-y"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-6882-0"},{"key":"ref49","first-page":"181","article-title":"Solutions for Some Practical Problems in Prioritized Preemptive Scheduling","author":"sha","year":"1986","journal-title":"Proc IEEE Real-Time Systems Symposium (RTSS)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356580"},{"key":"ref46","first-page":"293","article-title":"Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems","author":"gilles","year":"2013","journal-title":"Proc International Embedded Systems Symposium (IESS)"},{"journal-title":"IBM Research","article-title":"IBM PowerPC 4XX Instruction Set Simulator","year":"2012","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702770"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341919"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017772"},{"key":"ref41","first-page":"2","article-title":"Periodic Resource Model for Compositional Real-Time Guarantees","author":"shin","year":"2003","journal-title":"Proc IEEE Real-Time Systems Symposium (RTSS)"},{"journal-title":"PowerPC 405 Processor Core - Manual","year":"2014","key":"ref44"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/12.990127"}],"event":{"name":"2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2014,4,15]]},"location":"Berlin, Germany","end":{"date-parts":[[2014,4,17]]}},"container-title":["2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6917167\/6925980\/06925987.pdf?arnumber=6925987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T00:03:26Z","timestamp":1498176206000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6925987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/rtas.2014.6925987","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}