{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:03:36Z","timestamp":1762866216104,"version":"build-2065373602"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/rtas.2013.6531096","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T18:55:18Z","timestamp":1372186518000},"page":"237-246","source":"Crossref","is-referenced-by-count":22,"title":["Overhead-aware compositional analysis of real-time systems"],"prefix":"10.1109","author":[{"given":"L. T. X.","family":"Phan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Meng Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jaewoo Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Insup Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Response time analysis for tasks scheduled under edf within fixed priorities","author":"harbour","year":"2003","journal-title":"RTSS"},{"key":"17","article-title":"A model of hierarchical real-time virtual resources","author":"feng","year":"2002","journal-title":"RTSS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.26"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967025"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.36"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9073-x"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.16"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.24"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.05.011"},{"key":"12","article-title":"LITMUS RT: A testbed for empirically comparing real-time multiprocessor schedulers","author":"calandrino","year":"2006","journal-title":"RTSS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1989.63567"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9076-7"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.12"},{"journal-title":"Real-Time Systems","year":"2000","author":"liu","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.25"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.35"},{"key":"28","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"RTSS"},{"journal-title":"Dynamic Scheduling of Hard Real-time Applications in Open System Environment","year":"1996","author":"sun","key":"29"},{"journal-title":"Avionics Application Software Standard Interface Part 1-Required Services (ARINC Specification 653P1-3)","year":"2010","key":"3"},{"key":"2","article-title":"ExSched: An external cpu scheduler framework for real-time systems","author":"asberg","year":"2012","journal-title":"RTCSA"},{"key":"10","article-title":"Feather-trace: A light-weight event tracing toolkit","author":"brandenburg","year":"2007","journal-title":"OSPERT"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9152-2"},{"key":"30","article-title":"Extending a HSF-enabled open-source real-time operating system with resource sharing","author":"van den heuvel","year":"2010","journal-title":"OSPERT"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289970"},{"key":"6","article-title":"Towards hierarchical scheduling on top of VxWorks","author":"behnam","year":"2008","journal-title":"OSPERT"},{"journal-title":"RT-xen Real-time Virtualization Based on Hierarchical Scheduling","year":"0","author":"xi","key":"32"},{"key":"5","article-title":"Cache-related preemption and migration delays: Empirical approximation and impact on schedulability","author":"bastoni","year":"2010","journal-title":"OSPERT"},{"key":"31","article-title":"The implementation of hierarchical schedulers in the RED-Linux scheduling framework","author":"wang","year":"2000","journal-title":"ECRTS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.71"},{"journal-title":"Scheduling and Locking in Multiprocessor Real-time Operating Systems","year":"2011","author":"brandenburg","key":"9"},{"journal-title":"Understanding the Linux Kernel","year":"2005","author":"bovet","key":"8"}],"event":{"name":"2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2013,4,9]]},"location":"Philadelphia, PA","end":{"date-parts":[[2013,4,11]]}},"container-title":["2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6523367\/6531071\/06531096.pdf?arnumber=6531096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T03:00:09Z","timestamp":1490238009000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6531096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/rtas.2013.6531096","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}