{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:27:29Z","timestamp":1752982049657,"version":"3.37.3"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,8,6]],"date-time":"2018-08-06T00:00:00Z","timestamp":1533513600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004189","name":"Max-Planck-Gesellschaft","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004189","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["391919384"],"award-info":[{"award-number":["391919384"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s11241-018-9315-x","type":"journal-article","created":{"date-parts":[[2018,8,6]],"date-time":"2018-08-06T02:24:01Z","timestamp":1533522241000},"page":"136-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling"],"prefix":"10.1007","volume":"55","author":[{"given":"Arpan","family":"Gujarati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe","family":"Cerqueira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8254-3815","authenticated-orcid":false,"given":"Bj\u00f6rn B.","family":"Brandenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey","family":"Nelissen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,6]]},"reference":[{"key":"9315_CR1","doi-asserted-by":"crossref","unstructured":"Baruah S, Brandenburg BB (2013) Multiprocessor feasibility analysis of recurrent task systems with specified processor affinities. In: 34th IEEE international real-time systems symposium (RTSS\u201913)","DOI":"10.1109\/RTSS.2013.24"},{"key":"9315_CR2","doi-asserted-by":"crossref","unstructured":"Bertogna M, Cirinei M (2007) Response-time analysis for globally scheduled symmetric multiprocessor platforms. In: 28th IEEE international real-time systems symposium (RTSS\u201907)","DOI":"10.1109\/RTSS.2007.31"},{"key":"9315_CR3","doi-asserted-by":"crossref","unstructured":"Bonifaci V, Brandenburg BB, DAngelo G, Marchetti-Spaccamela A (2016) Multiprocessor real-time scheduling with hierarchical processor affinities. In: 28th Euromicro conference on real-time systems (ECRTS\u201916)","DOI":"10.1109\/ECRTS.2016.24"},{"key":"9315_CR4","doi-asserted-by":"crossref","unstructured":"Cerqueira F, Gujarati A, Brandenburg BB (2014) Linux\u2019s processor affinity API, refined: shifting real-time tasks towards higher schedulability. In: 35th IEEE international real-time systems symposium (RTSS\u201914)","DOI":"10.1109\/RTSS.2014.29"},{"key":"9315_CR5","doi-asserted-by":"crossref","unstructured":"Cerqueira F, Stutz F, Brandenburg BB (2016a) Prosa: a case for readable mechanized schedulability analysis. In: 28th Euromicro conference on real-time systems (ECRTS\u201916)","DOI":"10.1109\/ECRTS.2016.28"},{"key":"9315_CR6","unstructured":"Cerqueira F, Stutz F, Brandenburg BB (2016b) Prosa: mechanized proofs of reduction-based APA schedulability analysis. \n                    http:\/\/prosa.mpi-sws.org\/releases\/v0.2\/apa\/"},{"key":"9315_CR7","doi-asserted-by":"crossref","unstructured":"Gujarati A, Cerqueira F, Brandenburg BB (2013) Schedulability analysis of the Linux push and pull scheduler with arbitrary processor affinities. In: 25th Euromicro conference on real-time systems (ECRTS\u201913)","DOI":"10.1109\/ECRTS.2013.18"},{"issue":"4","key":"9315_CR8","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/s11241-014-9205-9","volume":"51","author":"A Gujarati","year":"2015","unstructured":"Gujarati A, Cerqueira F, Brandenburg BB (2015a) Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory. Real Time Syst 51(4):440\u2013483","journal-title":"Real Time Syst"},{"key":"9315_CR9","unstructured":"Gujarati A, Cerqueira F, Brandenburg BB (2015b) Revised version: schedulability analysis of the Linux push and pull scheduler with arbitrary processor affinities, revision 1. \n                    https:\/\/www.mpi-sws.org\/~bbb\/papers\/"},{"issue":"6","key":"9315_CR10","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1002\/spe.2335","volume":"46","author":"J Lelli","year":"2016","unstructured":"Lelli J, Scordino C, Abeni L, Faggioli D (2016) Deadline scheduling in the Linux kernel. Soft Pract Exp 46(6):821\u2013839","journal-title":"Soft Pract Exp"},{"key":"9315_CR11","unstructured":"Lynx Software Technologies (2018) LynxOS RTOS. \n                    http:\/\/www.lynx.com\/products\/real-time-operating-systems\/lynxos-rtos\/"},{"key":"9315_CR12","unstructured":"QNX Software Systems (2010) Processor affinity or bound multiprocessing? Easing the migration to embedded multicore processing. \n                    http:\/\/www.qnx.com\/content\/dam\/qnx\/whitepapers\/2010\/qnx_bmp_vs_processor_affinity.pdf"},{"key":"9315_CR13","unstructured":"Wind River Systems, Inc (2014) Wind River VxWorks Platforms 6.9. \n                    https:\/\/www.windriver.com\/products\/product-notes\/PN_VE_6_9_Platform_0311.pdf"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9315-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-018-9315-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9315-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T19:16:04Z","timestamp":1565032564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-018-9315-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,6]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["9315"],"URL":"https:\/\/doi.org\/10.1007\/s11241-018-9315-x","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2018,8,6]]},"assertion":[{"value":"6 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}