{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:44:23Z","timestamp":1729647863519,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/rtas.2015.7108445","type":"proceedings-article","created":{"date-parts":[[2015,5,19]],"date-time":"2015-05-19T16:03:54Z","timestamp":1432051434000},"page":"221-231","source":"Crossref","is-referenced-by-count":6,"title":["Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model"],"prefix":"10.1109","author":[{"given":"Jung-Eun","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarek","family":"Abdelzaher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-642-17245-8_7","article-title":"Architecting robustness and timeliness in a new generation of aerospace systems","volume":"6420","author":"rufino","year":"2010","journal-title":"Architecting Dependable Systems VII LNCS"},{"key":"ref31","first-page":"1","article-title":"Optimization of time-partitions for mixed-criticality real-time distributed embedded systems","year":"2011","journal-title":"Proc of the 2011 14th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.11"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/REAL.2003.1253249","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"Proceedings of the 24th IEEE International Real-Time Systems Symposium Ser RTSS '03"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.271"},{"key":"ref12","first-page":"196","article-title":"An optimal pinwheel scheduler using the single-number reduction technique","author":"hsueh","year":"1996","journal-title":"RTSS"},{"key":"ref13","first-page":"123","article-title":"Real-time virtual machines for avionics software porting and development","author":"sha","year":"2003","journal-title":"Real-Time and Embedded Computing Systems and Applications 9th International Conference RTCSA 2003 February 18–20 2003"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"ref15","article-title":"AIMMS Optimization Modeling","author":"bisschop","year":"2011","journal-title":"Paragon Decision Technology"},{"key":"ref16","article-title":"Generic avionics software specification","author":"locke","year":"1990","journal-title":"technical report CMU\/SEI-90-TR-008"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017772"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/EMRTS.2003.1212738","article-title":"conf-name partitioning among real-time applications","author":"lipari","year":"2003","journal-title":"Proceedings of the 15th Euromicro Conference on Real-Time Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019197"},{"key":"ref28","first-page":"14","article-title":"Resource scheduling in dependable integrated modular avionics","author":"lee","year":"2000","journal-title":"International Conference on Dependable Systems and Networks (FTCS-30 DCCA-8)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1183949"},{"journal-title":"Aeronautical Radio Inc","article-title":"Avionics application software standard interface: Arinc specification 653pl-3","year":"2010","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.04.006"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886885"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.24"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"ref2","article-title":"Partitioning in avionics architectures: Requirements, mechanisms, and assurance","author":"rushby","year":"1999","journal-title":"NASA Langley Technical Report"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/2.55469"},{"journal-title":"Airlines Electronic Engineering Committee (AEEC) and Aeronautical Radio Inc","article-title":"ARINC Specification 651: Design Guidance for Integrated Modular Avionics, ser. ARINC report","year":"1991","key":"ref1"},{"key":"ref20","article-title":"An investigation into server parameter selection for hierarchical fixed priority pre-emptive systems","author":"davis","year":"2008","journal-title":"Proceedings of Real-Time and Network Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"ref21","article-title":"Compositional schedulability analysis supporting associativity, optimality, dependency and concurrency","author":"easwaran","year":"2007","journal-title":"Computer and Information Science"},{"key":"ref24","first-page":"127","article-title":"An FPTAS for interface selection in the periodic conf-name model","author":"fisher","year":"2009","journal-title":"Proceedings of the 17th International Conference on Real-Time and Network Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.28"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/TC.2004.1261828","article-title":"enhanced utilization bounds for qos management","volume":"53","author":"lee","year":"2004","journal-title":"IEEE Transactions on Computers"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.1995.528754"}],"event":{"name":"2015 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2015,4,13]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2015,4,16]]}},"container-title":["21st IEEE Real-Time and Embedded Technology and Applications Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7106274\/7108386\/07108445.pdf?arnumber=7108445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T04:50:38Z","timestamp":1566708638000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7108445\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/rtas.2015.7108445","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}