{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:06:43Z","timestamp":1767262003087,"version":"build-2065373602"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/rtcsa.2017.8046311","type":"proceedings-article","created":{"date-parts":[[2017,9,21]],"date-time":"2017-09-21T16:26:56Z","timestamp":1506011216000},"page":"1-10","source":"Crossref","is-referenced-by-count":19,"title":["New schedulability analysis for MrsP"],"prefix":"10.1109","author":[{"given":"Shuai","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Garrido","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/2552999.2553006"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ECRTS.2013.37"},{"key":"ref12","first-page":"111","article-title":"Litmus rt: A testbed for empirically comparing real-time multiprocessor schedulers","author":"john","year":"2006","journal-title":"Real-Time Systems Symposium 2006 RTSS'06 27th IEEE International"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-19584-1_12"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/1978802.1978814"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ECRTS.2010.19"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/REAL.2001.990598"},{"key":"ref17","article-title":"Supporting nested resources in Mrs P","author":"garrido","year":"2017","journal-title":"7th Ada-Europe International Conference on Reliable Software Technologies"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/RTSS.2016.020"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TC.2004.120"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/ECRTS.2012.17"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/BF00365393"},{"key":"ref27","article-title":"Nested multiprocessor real-time locking with improved blocking","author":"ward","year":"2012","journal-title":"Proc of the Euromicro Conference on Real-Time Systems"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1049\/sej.1993.0034"},{"key":"ref6","first-page":"291","article-title":"A blocking bound for nested fifo spin locks","author":"alessandro","year":"2016","journal-title":"Real- Time Systems Symposium (RTSS) 2016 IEEE"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/RTSS.2013.13"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/s11241-005-0507-9"},{"year":"2011","author":"brandenburg","journal-title":"Scheduling and Locking in Multiprocessor Realtime Operating Systems","key":"ref8"},{"key":"ref7","first-page":"47","article-title":"A flexible real-time locking protocol for multiprocessors","author":"aaron","year":"2007","journal-title":"Proceedings of the 13th IEEE RTCSA 2007"},{"key":"ref2","first-page":"240","article-title":"Towards improved survivability in safety-critical systems","author":"jaume","year":"2011","journal-title":"On-Line Testing Symposium (IOLTS) 2011 IEEE 17th International"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TC.2014.2322619"},{"year":"2016","journal-title":"SchedCAT Schedulability Test Collection and Toolkit","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ICDCS.1990.89257"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/REAL.1988.51121"},{"key":"ref21","volume":"151","author":"rajkumar","year":"2012","journal-title":"Synchronization in Real-Time Systems A Priority Inheritance Approach"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","article-title":"Priority inheritance protocols: An approach to real-time synchronization","volume":"39","author":"lui","year":"1990","journal-title":"IEEE Transactions on Computers"},{"key":"ref23","article-title":"Users guide-edition 4.6. 5, for rtems 4.6. 5","volume":"30","author":"rtems","year":"2003","journal-title":"On-Line Applications Research Corporation (OAR)"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/REAL.1997.641276"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/5.259427","article-title":"Generalized rate-monotonic scheduling theory: A framework for developing realtime systems","volume":"82","author":"lui","year":"1994","journal-title":"Proceedings of the IEEE"}],"event":{"name":"2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2017,8,16]]},"location":"Hsinchu, Taiwan","end":{"date-parts":[[2017,8,18]]}},"container-title":["2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8031503\/8046294\/08046311.pdf?arnumber=8046311","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T16:38:23Z","timestamp":1570120703000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8046311\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2017.8046311","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}