{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:18:12Z","timestamp":1747973892410,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CSR-1814739"],"award-info":[{"award-number":["CSR-1814739"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-17653503"],"award-info":[{"award-number":["CNS-17653503"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["80NSSC21K1741"],"award-info":[{"award-number":["80NSSC21K1741"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1007\/s11241-024-09419-3","type":"journal-article","created":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T08:01:56Z","timestamp":1713168116000},"page":"76-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES"],"prefix":"10.1007","volume":"60","author":[{"given":"Marion","family":"Sudvarg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuoran","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Gill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,4,15]]},"reference":[{"key":"9419_CR1","unstructured":"AUTOSAR Classic Platform. https:\/\/www.autosar.org\/standards\/classic-platform\/. Accessed 25 Jan 2022"},{"issue":"1","key":"9419_CR2","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":"9419_CR3","doi-asserted-by":"publisher","unstructured":"Blackham B, Shi Y, Chattopadhyay S, Roychoudhury A, Heiser G. (2011) Timing analysis of a protected operating system kernel. In: 2011 IEEE 32nd Real-Time Systems Symposium, pp. 339\u2013348. https:\/\/doi.org\/10.1109\/RTSS.2011.38","DOI":"10.1109\/RTSS.2011.38"},{"key":"9419_CR4","doi-asserted-by":"publisher","unstructured":"Blass T, Hamann A, Lange R, Ziegenbein D, Brandenburg BB (2021) Automatic latency management for ros 2: Benefits, challenges, and open problems. In: 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 264\u2013277. https:\/\/doi.org\/10.1109\/RTAS52030.2021.00029","DOI":"10.1109\/RTAS52030.2021.00029"},{"issue":"1\u20132","key":"9419_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11241-005-0507-9","volume":"30","author":"E Bini","year":"2005","unstructured":"Bini E, Buttazzo GC (2005) Measuring the performance of schedulability tests. Real-Time Syst 30(1\u20132):129\u2013154","journal-title":"Real-Time Syst"},{"issue":"7","key":"9419_CR6","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/TC.2003.1214341","volume":"52","author":"E Bini","year":"2003","unstructured":"Bini E, Buttazzo GC, Buttazzo GM (2003) Rate monotonic analysis: the hyperbolic bound. IEEE Trans Comput 52(7):933\u2013942. https:\/\/doi.org\/10.1109\/TC.2003.1214341","journal-title":"IEEE Trans Comput"},{"key":"9419_CR7","doi-asserted-by":"crossref","unstructured":"Buttazzo GC (2011) Hard Real-Time Computing Systems, 3rd edn., pp. 205\u2013248. Springer, New York. Chap. 7","DOI":"10.1007\/978-1-4614-0676-1_7"},{"key":"9419_CR8","unstructured":"CAmkES Manual. https:\/\/docs.sel4.systems\/projects\/camkes\/manual.html. Accessed 23 Jan 2022"},{"key":"9419_CR9","unstructured":"CORBA Component Model (version 3.0). https:\/\/www.omg.org\/spec\/CCM\/3.0. OMG Document formal\/02-06-65. Accessed 24 May 2001"},{"key":"9419_CR10","doi-asserted-by":"crossref","unstructured":"Elphinstone K, Heiser G (2013) From l3 to sel4 what have we learnt in 20 years of l4 microkernels? In: Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles. SOSP \u201913, pp. 133\u2013150. Association for Computing Machinery, New York, NY, USA","DOI":"10.1145\/2517349.2522720"},{"key":"9419_CR11","unstructured":"Emberson P, Stafford R, Davis RI (2010) Techniques for the synthesis of multiprocessor tasksets. In: WATERS Workshop at the Euromicro Conference on Real-Time Systems, pp. 6\u201311"},{"key":"9419_CR12","unstructured":"Ford B, Lepreau J (1994) Evolving mach 3.0 to a migrating thread model. In: USENIX Winter 1994 Technical Conference (USENIX Winter 1994 Technical Conference). USENIX Association, San Francisco, CA"},{"key":"9419_CR13","doi-asserted-by":"publisher","unstructured":"Jero S, Furgala J, Pan R, et al. (2021) Practical principle of least privilege for secure embedded systems. In: 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), 1\u201313. https:\/\/doi.org\/10.1109\/RTAS52030.2021.00009","DOI":"10.1109\/RTAS52030.2021.00009"},{"key":"9419_CR14","unstructured":"Jinja. https:\/\/jinja.palletsprojects.com\/. Accessed 23 Jan 2022"},{"key":"9419_CR15","doi-asserted-by":"crossref","unstructured":"Klein G, Elphinstone K, Heiser G, et al. (2009) Sel4: Formal verification of an os kernel. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles. SOSP \u201909, pp. 207\u2013220. Association for Computing Machinery, New York, NY, USA","DOI":"10.1145\/1629575.1629596"},{"issue":"1","key":"9419_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2560537","volume":"32","author":"G Klein","year":"2014","unstructured":"Klein G, Andronick J, Elphinstone K et al (2014) Comprehensive formal verification of an os microkernel. ACM Trans Comput Syst 32(1):1\u201370","journal-title":"ACM Trans Comput Syst"},{"key":"9419_CR17","doi-asserted-by":"crossref","unstructured":"Kluge F, Yu C, Mische J, Uhrig S, Ungerer T (2009) Implementing autosar scheduling and resource management on an embedded smt processor. In: Proceedings of Th 12th International Workshop on Software and Compilers for Embedded Systems. SCOPES \u201909, pp. 33\u201342. Association for Computing Machinery, New York, NY, USA","DOI":"10.1145\/1543820.1543828"},{"issue":"5","key":"9419_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/j.jss.2006.08.039.Elsevier","volume":"80","author":"I Kuz","year":"2007","unstructured":"Kuz I, Liu Y, Gorton I, Heiser G (2007) Camkes: a component model for secure microkernel-based embedded systems. J Syst Softw 80(5):687\u2013699. https:\/\/doi.org\/10.1016\/j.jss.2006.08.039.Elsevier","journal-title":"J Syst Softw"},{"issue":"5","key":"9419_CR19","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/173668.168633","volume":"27","author":"J Liedtke","year":"1993","unstructured":"Liedtke J (1993) Improving ipc by kernel design. SIGOPS Oper Syst Rev 27(5):175\u2013188","journal-title":"SIGOPS Oper Syst Rev"},{"issue":"12","key":"9419_CR20","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1109\/TC.2004.120","volume":"53","author":"G Lipari","year":"2004","unstructured":"Lipari G, Lamastra G, Abeni L (2004) Task synchronization in reservation-based real-time systems. IEEE Trans Comput 53(12):1591\u20131601. https:\/\/doi.org\/10.1109\/TC.2004.120","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"9419_CR21","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"9419_CR22","doi-asserted-by":"publisher","unstructured":"Lyons A, McLeod K, Almatary H, Heiser G (2018) Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. In: ACM EuroSys Conference, pp. 1\u201316. https:\/\/doi.org\/10.1145\/3190508.3190539","DOI":"10.1145\/3190508.3190539"},{"key":"9419_CR23","doi-asserted-by":"publisher","unstructured":"Mergendahl S, Jero S, Ward BC, Furgala J, Parmer G, Skowyra R (2022) The thundering herd: Amplifying kernel interference to attack response times. In: 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 95\u2013107. https:\/\/doi.org\/10.1109\/RTAS54340.2022.00016","DOI":"10.1109\/RTAS54340.2022.00016"},{"issue":"1968","key":"9419_CR24","first-page":"79","volume":"7\u201311","author":"MD McIlroy","year":"1969","unstructured":"McIlroy MD (1969) Mass-produced software components. Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany 7\u201311(1968):79\u201385","journal-title":"Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany"},{"key":"9419_CR25","unstructured":"Parmer G (2010) The case for thread migration: Predictable ipc in a customizable and reliable os. In: Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), pp. 91\u2013100"},{"issue":"9","key":"9419_CR26","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. https:\/\/doi.org\/10.1109\/12.57058","journal-title":"IEEE Trans Comput"},{"key":"9419_CR27","unstructured":"Specification of Operating System. https:\/\/www.autosar.org\/fileadmin\/user_upload\/standards\/classic\/21-11\/AUTOSAR_SWS_OS.pdf. Classic Platform Standard Release R21-11. Accessed 25 Jan 2022"},{"issue":"5","key":"9419_CR28","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1016\/j.jss.2006.08.023","volume":"80","author":"V Subramonian","year":"2007","unstructured":"Subramonian V, Deng G, Gill C, Balasubramanian J, Shen L-J, Otte W, Schmidt D, Gokhale A, Wang N (2007) The design and performance of component middleware for qos-enabled deployment and configuration of dre systems. J Syst Softw 80(5):668\u2013677","journal-title":"J Syst Softw"},{"key":"9419_CR29","doi-asserted-by":"crossref","unstructured":"Subramonian V, Wang N, Shen L-J, Gill C (2004) The design and performance of configurable component middleware for distributed real-time and embedded systems. In: IEEE Real-Time Systems Symposium (RTSS) 252\u2013261","DOI":"10.1109\/REAL.2004.53"},{"key":"9419_CR30","doi-asserted-by":"publisher","unstructured":"Sudvarg M, Gill C (2022) A concurrency framework for priority-aware intercomponent requests in camkes on sel4. In: 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 1\u201310. https:\/\/doi.org\/10.1109\/RTCSA55878.2022.00007","DOI":"10.1109\/RTCSA55878.2022.00007"},{"key":"9419_CR31","unstructured":"seL4 Benchmarks. https:\/\/sel4.systems\/About\/Performance\/. Accessed 02 June 2023"},{"key":"9419_CR32","unstructured":"Sprunt B. (1990) Aperiodic task scheduling for real-time systems. Technical report, Carnegie Mellon University"},{"key":"9419_CR33","doi-asserted-by":"publisher","unstructured":"Stanovich M, Baker TP, Wang A-I, Harbour MG (2010) Defects of the posix sporadic server and how to correct them. In: 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 35\u201345. https:\/\/doi.org\/10.1109\/RTAS.2010.34","DOI":"10.1109\/RTAS.2010.34"},{"key":"9419_CR34","doi-asserted-by":"publisher","unstructured":"Steinberg U, Wolter J, Hartig H (2005) Fast component interaction for real-time systems. In: 17th Euromicro Conference on Real-Time Systems (ECRTS\u201905), pp. 89\u201397. https:\/\/doi.org\/10.1109\/ECRTS.2005.16","DOI":"10.1109\/ECRTS.2005.16"},{"key":"9419_CR35","unstructured":"Steinberg U, B\u00f6ttcher A, Kauer B. (2010) Timeslice donation in component-based systems. In: Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), pp. 16\u201323"},{"key":"9419_CR36","doi-asserted-by":"crossref","unstructured":"Steinberg U, Kauer B (2010) Nova: A microhypervisor-based secure virtualization architecture. In: Proceedings of the 5th European Conference on Computer Systems. EuroSys \u201910, pp. 209\u2013222. Association for Computing Machinery, New York, NY, USA","DOI":"10.1145\/1755913.1755935"},{"key":"9419_CR37","doi-asserted-by":"publisher","unstructured":"The seL4 microkernel. https:\/\/docs.sel4.systems\/projects\/sel4\/. Accessed 23 Jan 2022. https:\/\/doi.org\/10.5281\/zenodo.591727","DOI":"10.5281\/zenodo.591727"},{"key":"9419_CR38","doi-asserted-by":"publisher","unstructured":"Wang Q, Song J, Parmer G. (2011) Execution stack management for hard real-time computation in a component-based os. In: 2011 IEEE 32nd Real-Time Systems Symposium, pp. 78\u201389. https:\/\/doi.org\/10.1109\/RTSS.2011.15","DOI":"10.1109\/RTSS.2011.15"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-024-09419-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11241-024-09419-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-024-09419-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T17:10:12Z","timestamp":1713805812000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11241-024-09419-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["9419"],"URL":"https:\/\/doi.org\/10.1007\/s11241-024-09419-3","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2024,3]]},"assertion":[{"value":"1 February 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 April 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}