{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:56:50Z","timestamp":1743029810167,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924311"},{"type":"electronic","value":"9783319924328"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92432-8_5","type":"book-chapter","created":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T03:08:18Z","timestamp":1527217698000},"page":"73-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8385-2721","authenticated-orcid":false,"given":"Jorge","family":"Garrido","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5412-5691","authenticated-orcid":false,"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1622-8996","authenticated-orcid":false,"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7673-9835","authenticated-orcid":false,"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,26]]},"reference":[{"key":"5_CR1","unstructured":"Ada Reference Manual, ISO\/IEC 8652:2012(E) with COR.1:2016 (2016). http:\/\/www.ada-auth.org\/arm.html"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Baker, T.P.: A stack-based resource allocation policy for realtime processes. In: 1990 Proceedings of the 11th Real-Time Systems Symposium, pp. 191\u2013200, December 1990","DOI":"10.1109\/REAL.1990.128747"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"TP Baker","year":"1991","unstructured":"Baker, T.P.: Stack-based scheduling for realtime processes. Real-Time Syst. 3(1), 67\u201399 (1991)","journal-title":"Real-Time Syst."},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139696616","volume-title":"Programming in Ada 2012","author":"J Barnes","year":"2014","unstructured":"Barnes, J.: Programming in Ada 2012. Cambridge University Press, Cambridge (2014)"},{"key":"5_CR5","unstructured":"Brandenburg, B.B.: Scheduling and locking in multiprocessor real-time operating systems. Ph.D. thesis, The University of North Carolina at Chapel Hill (2011)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/2552999.2553006","volume":"33","author":"A Burns","year":"2013","unstructured":"Burns, A., Wellings, A.J.: Locking policies for multiprocessor Ada. Ada Lett. 33(2), 59\u201365 (2013)","journal-title":"Ada Lett."},{"key":"5_CR7","unstructured":"Burns, A., Wellings, A.: Analysable Real-Time Systems: Programmed in Ada. CreateSpace Independent Publishing Platform (2016)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.J.: A schedulability compatible multiprocessor resource sharing protocol-MrsP. In: 2013 25th Euromicro Conference on Real-Time Systems (ECRTS), pp. 282\u2013291. IEEE (2013)","DOI":"10.1109\/ECRTS.2013.37"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-21338-0_3","volume-title":"Reliable Software Technologies - Ada-Europe 2011","author":"F Chouteau","year":"2011","unstructured":"Chouteau, F., Ruiz, J.F.: Design and implementation of a Ravenscar extension for multiprocessors. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 31\u201345. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21338-0_3"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"35:1","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43(4), 35:1\u201335:44 (2011). http:\/\/doi.acm.org\/10.1145\/1978802.1978814","journal-title":"ACM Comput. Surv."},{"key":"5_CR11","unstructured":"Gai, P., Lipari, G., Natale, M.D.: Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium. IEEE Computer Society (2001)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-60588-3_1","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2017","author":"J Garrido","year":"2017","unstructured":"Garrido, J., Zamorano, J., Alonso, A., de\u00a0la Puente, J.A.: Evaluating MSRP and MrsP with the multiprocessor Ravenscar profile. In: Blieberger, J., Bader, M. (eds.) Ada-Europe 2017. LNCS, vol. 10300, pp. 3\u201317. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60588-3_1"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-60588-3_5","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2017","author":"J Garrido","year":"2017","unstructured":"Garrido, J., Zhao, S., Burns, A., Wellings, A.: Supporting nested resources in MrsP. In: Blieberger, J., Bader, M. (eds.) Ada-Europe 2017. LNCS, vol. 10300, pp. 73\u201386. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60588-3_5"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Giering, E.W., Baker, T.P.: The GNU Ada Runtime Library (GNARL): design and implementation. In: WADAS 1994: Proceedings of the Eleventh Annual Washington Ada Symposium & Summer ACM SIGAda Meeting on Ada, pp. 97\u2013107. ACM Press, New York (1994)","DOI":"10.1145\/197978.197989"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Giering, E.W., Mueller, F., Baker, T.P.: Implementing ada 9x features using posix threads: design issues. In: Proceedings of the Conference on TRI-Ada 1993, TRI-Ada 1993, pp. 214\u2013228. ACM, New York (1993). http:\/\/doi.acm.org\/10.1145\/170657.170736","DOI":"10.1145\/170657.170736"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/2492312.2492317","volume":"33","author":"S Lin","year":"2013","unstructured":"Lin, S., Wellings, A.J., Burns, A.: Ada 2012: resource sharing and multiprocessors. Ada Lett. 33(1), 32\u201344 (2013)","journal-title":"Ada Lett."},{"key":"5_CR17","unstructured":"Miranda, J.: A detailed description of the GNU Ada run time (2003). http:\/\/www.iuma.ulpgc.es\/users\/jmiranda\/gnat-rts\/"},{"issue":"9","key":"5_CR18","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, J.P.: Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175\u20131185 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Wieder, A., Brandenburg, B.B.: On spin locks in AUTOSAR: blocking analysis of FIFO, unordered, and priority-ordered spin locks. In: Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, 3\u20136 December 2013, pp. 45\u201356 (2013). https:\/\/doi.org\/10.1109\/RTSS.2013.13","DOI":"10.1109\/RTSS.2013.13"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Zhao, S., Garrido, J., Burns, A., Wellings, A.: New schedulability analysis for MrsP. In: 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1\u201310. IEEE (2017)","DOI":"10.1109\/RTCSA.2017.8046311"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2018"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92432-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T11:21:46Z","timestamp":1709810506000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92432-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924311","9783319924328"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92432-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"26 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Ada-Europe","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ada-Europe International Conference on Reliable Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"adaeurope2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ae2018.di.fc.ul.pt\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}