{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:26:55Z","timestamp":1772119615694,"version":"3.50.1"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Funda\u00e7\u00e3o de Desenvolvimento da Pesquisa - Fundep Rota 2030\/Linha V","award":["7192.02.01\/2020.09-00"],"award-info":[{"award-number":["7192.02.01\/2020.09-00"]}]},{"name":"Alexander von Humboldt Professorship endowed by the German Federal Ministry of Education and Research"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1007\/s10617-023-09268-6","type":"journal-article","created":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T06:03:06Z","timestamp":1677650586000},"page":"31-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Supporting single and multi-core resource access protocols on object-oriented RTOSes"],"prefix":"10.1007","volume":"27","author":[{"given":"Lucas Matheus","family":"dos Santos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovani","family":"Gracioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Kloda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,1]]},"reference":[{"key":"9268_CR1","doi-asserted-by":"crossref","unstructured":"dos Santos LM, Gracioli G, Kloda T, Caccamo M (2020) On the design and implementation of real-time resource access protocols. In: X Brazilian symposium on computing systems engineering (SBESC), pp 1\u20138","DOI":"10.1109\/SBESC51047.2020.9277858"},{"key":"9268_CR2","volume-title":"Real-time systems","author":"J Liu","year":"2000","unstructured":"Liu J (2000) Real-time systems, 1st edn. Prentice Hall PTR, Upper Saddle River","edition":"1"},{"key":"9268_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard real-time computing systems: predictable scheduling algorithms and applications","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo GC (2011) Hard real-time computing systems: predictable scheduling algorithms and applications, 3rd edn. Springer, Berlin","edition":"3"},{"key":"9268_CR4","doi-asserted-by":"crossref","unstructured":"Yang M, Wieder A, Brandenburg B (2015) Global real-time semaphore protocols: a survey, unified analysis, and comparison. In: RTSS, pp 1\u201312","DOI":"10.1109\/RTSS.2015.8"},{"key":"9268_CR5","unstructured":"Jones M (1997) What really happened on mars?. Available: http:\/\/research.microsoft.com\/en-us\/um\/people\/mbj\/Mars_Pathfinder\/Mars_Pathfinder.html"},{"issue":"9","key":"9268_CR6","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R, Lehoczky JP (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175\u20131185","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"9268_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"TP Baker","year":"1991","unstructured":"Baker TP (1991) Stack-based scheduling for realtime processes. Real Time Syst 3(1):67\u201399","journal-title":"Real Time Syst"},{"key":"9268_CR8","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N Audsley","year":"1993","unstructured":"Audsley N, Burns A, Richardson M, Tindell K, Wellings A (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8:284\u2013292","journal-title":"Softw Eng J"},{"key":"9268_CR9","doi-asserted-by":"crossref","unstructured":"Rajkumar R (1990) Real-time synchronization protocols for shared memory multiprocessors. In: 10th ICDCS, pp 116\u2013123","DOI":"10.1109\/ICDCS.1990.89257"},{"key":"9268_CR10","doi-asserted-by":"crossref","unstructured":"Gai P, Lipari G, Di Natale M (2001) Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: 22nd IEEE RTSS, pp 73\u201383","DOI":"10.1109\/REAL.2001.990598"},{"key":"9268_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-60588-3_5","volume-title":"Reliable software technologies\u2013Ada-Europe 2017","author":"J Garrido","year":"2017","unstructured":"Garrido J, Zhao S, Burns A, Wellings A (2017) Supporting nested resources in mrsp. In: Blieberger J, Bader M (eds) Reliable software technologies\u2013Ada-Europe 2017. Springer, Berlin, pp 73\u201386"},{"key":"9268_CR12","doi-asserted-by":"crossref","unstructured":"Burns A, Wellings AJ (2013) A schedulability compatible multiprocessor resource sharing protocol\u2014mrsp. In: ECRTS, pp 282\u2013291","DOI":"10.1109\/ECRTS.2013.37"},{"key":"9268_CR13","doi-asserted-by":"crossref","unstructured":"Ward BC, Anderson JH (2012) Supporting nested locking in multiprocessor real-time systems. In: 24th Euromicro conference on real-time systems (ECRTS 2012), pp 223\u2013232. IEEE Computer Society","DOI":"10.1109\/ECRTS.2012.17"},{"key":"9268_CR14","doi-asserted-by":"publisher","first-page":"110449","DOI":"10.1016\/j.jss.2019.110449","volume":"159","author":"S Zhao","year":"2020","unstructured":"Zhao S, Garrido J, Wei R, Burns A, Wellings A, de la Puente JA (2020) A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. J Syst Softw 159:110449","journal-title":"J Syst Softw"},{"key":"9268_CR15","doi-asserted-by":"crossref","unstructured":"Brandenburg BB, Anderson JH (2010) Optimality results for multiprocessor real-time locking. In: 2010 31st IEEE real-time systems symposium, pp 49\u201360","DOI":"10.1109\/RTSS.2010.17"},{"key":"9268_CR16","doi-asserted-by":"crossref","unstructured":"Zhao S, Garrido J, Burns A, Wellings A (2017) New schedulability analysis for mrsp. In: 2017 IEEE 23rd international conference on embedded and real-time computing systems and applications (RTCSA), pp 1\u201310","DOI":"10.1109\/RTCSA.2017.8046311"},{"key":"9268_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-19584-1_12","volume-title":"Reliable software technologies\u2014Ada-Europe 2015","author":"S Catellani","year":"2015","unstructured":"Catellani S, Bonato L, Huber S, Mezzetti E (2015) Challenges in the implementation of mrsp. In: de la Puente JA, Vardanega T (eds) Reliable software technologies\u2014Ada-Europe 2015. Springer, Cham, pp 179\u2013195"},{"key":"9268_CR18","unstructured":"Shi J, Chen K-H, Zhao S, Huang W-H, Chen J-J, Wellings A (2017) Implementation and evaluation of multiprocessor resource synchronization protocol (mrsp) on litmus$$^{RT}$$. In: 13th workshop on operating systems platforms for embedded real-time applications"},{"issue":"1","key":"9268_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1287\/opre.26.1.127","volume":"26","author":"SK Dhall","year":"1978","unstructured":"Dhall SK, Liu CL (1978) On a real-time scheduling problem. Oper Res 26(1):127\u2013140. https:\/\/doi.org\/10.1287\/opre.26.1.127","journal-title":"Oper Res"},{"key":"9268_CR20","doi-asserted-by":"crossref","unstructured":"Lopez JM, Garcia M, Diaz JL, Garcia DF (2000) Worst-case utilization bound for EDF scheduling on real-time multiprocessor systems. In: 12th ECRTS, pp 25\u201333","DOI":"10.1109\/EMRTS.2000.853989"},{"key":"9268_CR21","doi-asserted-by":"crossref","unstructured":"Takada H, Sakamura K (1997) A novel approach to multiprogrammed multiprocessor synchronization for real-time kernels. In: Proceedings real-time systems symposium, pp 134\u2013143","DOI":"10.1109\/REAL.1997.641276"},{"key":"9268_CR22","first-page":"43","volume-title":"Programming languages: NATO advanced study institute","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra EW (1968) Cooperating sequential processes. In: Genuys F (ed) Programming languages: NATO advanced study institute. Academic Press, Cambridge, pp 43\u2013112"},{"key":"9268_CR23","doi-asserted-by":"crossref","unstructured":"Brandenburg BB, Anderson JH (2008) An implementation of the pcp, srp, d-pcp, m-pcp, and fmlp real-time synchronization protocols in litmusrt. In: 14th IEEE RTCSA, pp 185\u2013194. IEEE","DOI":"10.1109\/RTCSA.2008.13"},{"key":"9268_CR24","unstructured":"EPOS (2020) Website. Available: http:\/\/epos.lisha.ufsc.br"},{"issue":"6","key":"9268_CR25","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/s11241-013-9183-3","volume":"49","author":"G Gracioli","year":"2013","unstructured":"Gracioli G, Fr\u00f6hlich AA, Pellizzoni R, Fischmeister S (2013) Implementation and evaluation of global and partitioned scheduling in a real-time OS. Real Time Syst 49(6):669\u2013714","journal-title":"Real Time Syst"},{"key":"9268_CR26","doi-asserted-by":"crossref","unstructured":"Biondi A, Brandenburg BB (2016) Lightweight real-time synchronization under P-EDF on symmetric and asymmetric multiprocessors. In: Proceedings of the 28th Euromicro conference on real-time systems (ECRTS), pp 1\u201311","DOI":"10.1109\/ECRTS.2016.30"},{"key":"9268_CR27","doi-asserted-by":"crossref","unstructured":"Lakshmanan K, de Niz D, Rajkumar R (2009) Coordinated task scheduling, allocation and synchronization on multiprocessors. In: 2009 30th IEEE real-time systems symposium, pp 469\u2013478","DOI":"10.1109\/RTSS.2009.51"},{"issue":"1","key":"9268_CR28","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"L Liu","year":"1973","unstructured":"Liu L, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"9268_CR29","unstructured":"Schedcat: schedulability test collection and toolkit (2020). Available: http:\/\/www.mpi-sws.org\/~bbb\/projects\/schedcat"},{"key":"9268_CR30","unstructured":"Freertos website (2016). Available: http:\/\/www.freertos.org\/"},{"key":"9268_CR31","doi-asserted-by":"crossref","unstructured":"Inam R, M\u00e4ki-Turja J, Sj\u00f6din M, Behnam M (2011) Hard real-time support for hierarchical scheduling in freertos. In: OSPERT, pp 51\u201360","DOI":"10.1109\/ETFA.2011.6059016"},{"key":"9268_CR32","doi-asserted-by":"crossref","unstructured":"Liedtke J (1995) On micro-kernel construction. In: 15th SOSP. ACM, pp 237\u2013250","DOI":"10.1145\/224057.224075"},{"key":"9268_CR33","unstructured":"Lee J-H, Kim H-N (2003) Implementing priority inheritance semaphore on uC\/OS real-time kernel. In: IEEE workshop on software technologies for future embedded systems, pp 83\u201386"},{"key":"9268_CR34","doi-asserted-by":"crossref","unstructured":"Akgul BS, Mooney VJ, Thane H, Kuacharoen P (2003) Hardware support for priority inheritance. In: 24th IEEE real-time systems symposium. RTSS, pp 246\u2013255","DOI":"10.1109\/REAL.2003.1253271"},{"key":"9268_CR35","first-page":"259","volume-title":"A hybrid hardware and software component architecture for embedded system design","author":"H Marcondes","year":"2009","unstructured":"Marcondes H, Fr\u00f6hlich AA (2009) A hybrid hardware and software component architecture for embedded system design. Springer, Berlin, pp 259\u2013270"},{"key":"9268_CR36","doi-asserted-by":"crossref","unstructured":"Wang Q, Song J, Parmer G (2011) Execution stack management for hard real-time computation in a component-based os. In: IEEE 32nd RTSS, pp 78\u201389","DOI":"10.1109\/RTSS.2011.15"},{"key":"9268_CR37","doi-asserted-by":"crossref","unstructured":"Caccamo M, Lipari G, Buttazzo G (1999) Sharing resources among periodic and aperiodic tasks with dynamic deadlines. In: Proceedings 20th IEEE real-time systems symposium (RTSS), pp 284\u2013293","DOI":"10.1109\/REAL.1999.818856"},{"key":"9268_CR38","doi-asserted-by":"crossref","unstructured":"Block A, Leontyev H, Brandenburg BB, Anderson JH (2007) A flexible real-time locking protocol for multiprocessors. In: 13th IEEE international conference on embedded and real-time computing systems and applications (RTCSA), pp 47\u201356","DOI":"10.1109\/RTCSA.2007.8"},{"key":"9268_CR39","doi-asserted-by":"crossref","unstructured":"Easwaran A, Andersson B (2009) Resource sharing in global fixed-priority preemptive multiprocessor scheduling. In: 30th RTSS, pp 377\u2013386","DOI":"10.1109\/RTSS.2009.37"},{"key":"9268_CR40","doi-asserted-by":"crossref","unstructured":"Teixeira R, Lima G (2019) Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP. In: IX Brazilian symposium on computing systems engineering (SBESC), pp 1\u20138","DOI":"10.1109\/SBESC49506.2019.9046074"},{"key":"9268_CR41","doi-asserted-by":"crossref","unstructured":"Regnier P, Lima G, Massa E, Levin G, Brandt S (2011) Run: optimal multiprocessor real-time scheduling via reduction to uniprocessor. In: 2011 IEEE 32nd real-time systems symposium, pp 104\u2013115","DOI":"10.1109\/RTSS.2011.17"},{"key":"9268_CR42","doi-asserted-by":"crossref","unstructured":"Brandenburg BB (2019) Multiprocessor real-time locking protocols: a systematic review. CoRRarXiv:1909.09600,","DOI":"10.1007\/978-981-4585-87-3_10-1"},{"key":"9268_CR43","unstructured":"Robb J, Brandenburg BB (2020) Nested, but separate: isolating unrelated critical sections in real-time nested locking. In: 32nd ECRTS, pp 6:1\u20136:23"},{"key":"9268_CR44","unstructured":"Nemitz CE, Amert T, Anderson JH (2018) Using lock servers to scale real-time locking protocols: chasing ever-increasing core counts. In: 30th ECRTS, pp 25:1\u201325:24"},{"key":"9268_CR45","doi-asserted-by":"crossref","unstructured":"Craig T (1993) Queuing spin lock algorithms to support timing predictability. In: Proceedings real-time systems symposium, pp 148\u2013157","DOI":"10.1109\/REAL.1993.393505"},{"key":"9268_CR46","doi-asserted-by":"crossref","unstructured":"Takada H, Sakamura K (1995) Real-time scalability of nested spin locks. In: Proceedings second international workshop on real-time computing systems and applications, pp 160\u2013167","DOI":"10.1109\/RTCSA.1995.528766"},{"key":"9268_CR47","unstructured":"Zhao S, Wellings AJ (2017) Investigating the correctness and efficiency of mrsp in fully partitioned systems. In: 10th York doctoral symposium on computer science and electronic engineering"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-023-09268-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10617-023-09268-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-023-09268-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T23:38:07Z","timestamp":1687995487000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10617-023-09268-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,1]]},"references-count":47,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["9268"],"URL":"https:\/\/doi.org\/10.1007\/s10617-023-09268-6","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-2015516\/v1","asserted-by":"object"}]},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,1]]},"assertion":[{"value":"30 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 March 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}