{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:03:29Z","timestamp":1746331409011,"version":"3.40.4"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319083100"},{"type":"electronic","value":"9783319083117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08311-7_9","type":"book-chapter","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T16:54:00Z","timestamp":1402419240000},"page":"107-118","source":"Crossref","is-referenced-by-count":0,"title":["Deadline-Aware Programming and Scheduling"],"prefix":"10.1007","author":[{"given":"Alan","family":"Burns","sequence":"first","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/2552999.2553005","volume":"XXXIII","author":"M. Aldea","year":"2013","unstructured":"Aldea, M., Burns, A., Guti\u00e9rrez, M., Harbour, M.G.: Incorporating the deadline floor protocol in Ada. ACM SIGAda Ada Letters \u2013 Proc. of IRTAW 16\u00a0XXXIII(2), 49\u201358 (2013)","journal-title":"ACM SIGAda Ada Letters \u2013 Proc. of IRTAW 16"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Baker, T.: A stack-based resource allocation policy for realtime processes. In: Proc. IEEE Real-Time Systems Symposium (RTSS), pp. 191\u2013200 (1990)","DOI":"10.1109\/REAL.1990.128747"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Baker, T.: Stack-based scheduling of realtime processes. Journal of Real-Time Systems\u00a03(1) (March 1991)","DOI":"10.1007\/BF00365393"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Block, A., Leontyev, H., Brandenburg, B.B., Anderson, J.H.: A flexible real-time locking protocol for multiprocessors. In: 13th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2007, pp. 47\u201356. IEEE Computer Society (2007)","DOI":"10.1109\/RTCSA.2007.8"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Brandenburg, B., Anderson, J.: Optimality results for multiprocessor real-time locking. In: Real-Time Systems Symposium (RTSS), pp. 49\u201360 (2010)","DOI":"10.1109\/RTSS.2010.17"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Brandenburg, B., Anderson, J.: Real-time resource sharing under cluster scheduling. In: Proc. EMSOFT. ACM Press (2011)","DOI":"10.1145\/2038642.2038655"},{"key":"9_CR7","unstructured":"Burns, A.: A Deadline-Floor Inheritance Protocol for EDF Scheduled Real-Time Systems with Resource Sharing. Technical Report YCS-2012-476, Department of Computer Science, University of York, UK (2012)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0055011","volume-title":"Reliable Software Technologies - Ada-Europe \u201998","author":"A. Burns","year":"1998","unstructured":"Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, pp. 263\u2013275. Springer, Heidelberg (1998)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Burns, A., Guti\u00e9rrez, M., Aldea, M., Harbour, M.G.: A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. IEEE Transaction on Computers (available online, 2014)","DOI":"10.1109\/TC.2014.2322619"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.: A schedulability compatible multiprocessor resource sharing protocol - MrsP. In: Proceedings of ECRTS, pp. 282\u2013291 (2013)","DOI":"10.1109\/ECRTS.2013.37"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-24841-5_12","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"A. Burns","year":"2004","unstructured":"Burns, A., Wellings, A.J., Taft, S.T.: Supporting deadlines and EDF scheduling in ada. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 156\u2013165. Springer, Heidelberg (2004)"},{"key":"9_CR12","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 4th edn. Addison Wesley Longman (2009)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Davis, R., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Surveys\u00a043(4), 35:1 \u201335:44 (2011)","DOI":"10.1145\/1978802.1978814"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Faggioli, D., Lipari, G., Cucinotta, T.: The multiprocessor bandwidth inheritance protocol. In: Proc. of the 22nd Euromicro Conference on Real-Time Systems (ECRTS), pp. 90\u201399 (2010)","DOI":"10.1109\/ECRTS.2010.19"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-30598-6_14","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2012","author":"M.L. Fairbairn","year":"2012","unstructured":"Fairbairn, M.L., Burns, A.: Implementing and verifying EDF preemption-level resource control. In: Brorsson, M., Pinho, L.M. (eds.) Ada-Europe 2012. LNCS, vol.\u00a07308, pp. 193\u2013206. Springer, Heidelberg (2012)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Gai, P., Lipari, G., Di Natale, M.: Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: Proc. 22nd RTSS, pp. 73\u201383 (2001)","DOI":"10.1109\/REAL.2001.990598"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Lin, S., Burns, A., Wellings, A.: Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurrency and Computation: Practice and Experience (2012)","DOI":"10.1002\/cpe.2882"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard real-time environment. JACM\u00a020(1), 46\u201361 (1973)","journal-title":"JACM"},{"issue":"9","key":"9_CR19","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.: Priority inheritance protocols: An approach to real-time synchronisation. IEEE Transactions on Computers\u00a039(9), 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 2005 Reference Manual. Language and Standard Libraries","author":"S.T. Taft","year":"2006","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol.\u00a04348. Springer, Heidelberg (2006)"},{"key":"9_CR21","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P., Schonberg, E.: Ada 2012 Reference Manual. LNCS, vol.\u00a08339. Springer, Heidelberg (2012)"},{"issue":"2","key":"9_CR22","first-page":"123","volume":"XXXIII","author":"A. Wellings","year":"2013","unstructured":"Wellings, A.: Session summary: Locking protocols. ACM SIGAda Ada Letters, Proc. of IRTAW 16\u00a0XXXIII(2), 123\u2013125 (2013)","journal-title":"ACM SIGAda Ada Letters, Proc. of IRTAW 16"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-73230-3_1","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"A.J. Wellings","year":"2007","unstructured":"Wellings, A.J., Burns, A.: Real-time utilities for Ada 2005. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 1\u201314. Springer, Heidelberg (2007)"},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/1316002.1316006","volume":"XXVII","author":"A. Zerzelidis","year":"2007","unstructured":"Zerzelidis, A., Burns, A., Wellings, A.: Correcting the EDF protocol in Ada 2005. Proc. of IRTAW 13, Ada Letters\u00a0XXVII(2), 18\u201322 (2007)","journal-title":"Proc. of IRTAW 13, Ada Letters"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08311-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:05:43Z","timestamp":1746263143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08311-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319083100","9783319083117"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08311-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}