{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:48:46Z","timestamp":1771573726973,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715111","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:29:07Z","timestamp":1558027747000},"page":"1228-1233","source":"Crossref","is-referenced-by-count":36,"title":["An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks"],"prefix":"10.23919","author":[{"given":"Beyazit","family":"Yalcinkaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitra","family":"Nasri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjorn B.","family":"Brandenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","article-title":"Random vectors with fixed sum","author":"stafford","year":"2006","journal-title":"Technical Report"},{"key":"ref30","article-title":"Real world automotive benchmark for free","author":"kramer","year":"2015","journal-title":"Proc WATERS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00009"},{"key":"ref12","first-page":"263","article-title":"Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking","author":"guan","year":"2007","journal-title":"Proceedings of SEUS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.74"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2010.13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982345"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2012.16"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2014.063815"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2017.9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref3","first-page":"26:1","article-title":"On strong and weak sustainability, with an application to self-suspending real-time tasks","volume":"106","author":"cerqueira","year":"2018","journal-title":"Proc Of ECRTS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-011-9505-6"},{"key":"ref29","article-title":"An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks – Extended Version","author":"yalcinkaya","year":"2018","journal-title":"MPI-SWS Technical Report MPI-SWS-2018-009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77096-1_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9245-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834877"},{"key":"ref2","article-title":"Many suspensions, many problems: a review of self-suspending tasks in real-time systems","author":"chen","year":"2018","journal-title":"Real-Time Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160366"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9036-z"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-4961-9"},{"key":"ref21","first-page":"107","article-title":"An introduction to schedulability analysis using timed automata","author":"david","year":"2011","journal-title":"Industrial Handbook Deliverable no D5 12 Quantitative System Properties in Model-Driven Design Project"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.08.003"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.17"},{"key":"ref26","article-title":"A response-time analysis for non-preemptive job sets under global scheduling","author":"nasri","year":"2018","journal-title":"Proc Of ECRTS"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2704083"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Florence, Italy","start":{"date-parts":[[2019,3,25]]},"end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715111.pdf?arnumber=8715111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T19:51:01Z","timestamp":1559591461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":31,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715111","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}