{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:22:50Z","timestamp":1742912570379,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019234"},{"type":"electronic","value":"9783642019241"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01924-1_9","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T17:25:15Z","timestamp":1244222715000},"page":"119-133","source":"Crossref","is-referenced-by-count":4,"title":["Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005"],"prefix":"10.1007","author":[{"given":"Alan","family":"Burns","sequence":"first","affiliation":[]},{"given":"Andy J.","family":"Wellings","sequence":"additional","affiliation":[]},{"given":"Fengxiang","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N.C. Audsley","year":"1993","unstructured":"Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal\u00a08(5), 284\u2013292 (1993)","journal-title":"Software Engineering Journal"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Baker, T.P.: Stack-based scheduling of realtime processes. Real-Time Systems 3(1) (March 1991)","DOI":"10.1007\/BF00365393"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Baruah, S.K., Burns, A.: Sustainable schedulability analysis. In: IEEE Real-Time Systems Symposium (RTSS), pp. 159\u2013168 (2006)","DOI":"10.1109\/RTSS.2006.47"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90360-6","volume":"118","author":"S.K. Baruah","year":"1993","unstructured":"Baruah, S.K., Howell, R.R., Rosier, L.E.: Feasibility problems for recurring tasks on one processor. Theorectical Computer Science\u00a0118, 3\u201320 (1993)","journal-title":"Theorectical Computer Science"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Baruah, S.K., Mok, A.K., Rosier, L.E.: Preemptive scheduling of hard real-time sporadic tasks on one processor. In: IEEE Real-Time Systems Symposium (RTSS), pp. 182\u2013190 (1990)","DOI":"10.1109\/REAL.1990.128746"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Baruah, S.K., Mok, A.K., Rosier, L.E.: Hybrid-priority scheduling of resource-sharing sporadic task systems. In: IEEE Real-Time Systems and Applications Symposium, RTAS (2008)","DOI":"10.1109\/RTAS.2008.7"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Bernat, G., Burns, A.: Combining (n m)-hard deadlines with dual priority scheduling. In: Proceedings 18th IEEE Real-Time Systems Symposium, pp. 46\u201357 (1997)","DOI":"10.1109\/REAL.1997.641268"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Bril, R.J., Verhaegh, W.F.J., Pol, E.-J.D.: Initial values for on-line response time calculations. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS), pp. 13\u201322 (2003)","DOI":"10.1109\/EMRTS.2003.1212722"},{"key":"9_CR9","unstructured":"Brukardt, R. (ed.): Ada 2005 reference manual. Technical report, ISO (2006)"},{"key":"9_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611230","volume-title":"Concurrency and Real-Time Programming in Ada 2005","author":"A. Burns","year":"2007","unstructured":"Burns, A., Wellings, A.J.: Concurrency and Real-Time Programming in Ada 2005. Cambridge University Press, Cambridge (2007)"},{"key":"9_CR11","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2009","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 4th edn. Addison-Wesley Longman, Amsterdam (2009)","edition":"4"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/B:TIME.0000048932.30002.d9","volume":"29","author":"G. Buttazzo","year":"2005","unstructured":"Buttazzo, G.: Rate monotonic vs. EDF: Judgement day. Real-Time Systems Journal\u00a029(1), 5\u201326 (2005)","journal-title":"Real-Time Systems Journal"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Wellings, A.J.: Dual priority scheduling. In: Proceedings 16th IEEE Real-Time Systems Symposium, pp. 100\u2013109 (1995)","DOI":"10.1109\/REAL.1995.495200"},{"issue":"9","key":"9_CR14","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1109\/TC.2008.66","volume":"57","author":"R.I. Davis","year":"2008","unstructured":"Davis, R.I., Zabos, A., Burns, A.: Efficient exact schedulability tests for fixed priority pre-emptive systems. IEEE Transaction on Computers\u00a057(9), 1261\u20131276 (2008)","journal-title":"IEEE Transaction on Computers"},{"key":"9_CR15","unstructured":"Harbour, M.G., Gutirrez, J.C.P.: Response time analysis for tasks scheduled under EDF within fixed priorities. In: IEEE Real-Time Systems Symposium (RTSS), pp. 200\u2013209 (2003)"},{"issue":"5","key":"9_CR16","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph, M., Pandya, P.: Finding response times in a real-time system. BCS Computer Journal\u00a029(5), 390\u2013395 (1986)","journal-title":"BCS Computer Journal"},{"key":"9_CR17","unstructured":"Lehoczky, J.P., Sha, L., Strosnider, J.K.: Enhanced aperiodic responsiveness in a hard real-time environment. In: Proceedings 8th IEEE Real-Time Systems Symposium, pp. 261\u2013270 (1987)"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","volume":"2","author":"J.Y.T. Leung","year":"1982","unstructured":"Leung, J.Y.T., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation (Netherlands)\u00a02(4), 237\u2013250 (1982)","journal-title":"Performance Evaluation (Netherlands)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real-time environment. JACM\u00a020(1), 46\u201361 (1973)","journal-title":"JACM"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00365519","volume":"11","author":"I. Ripoll","year":"1996","unstructured":"Ripoll, I., Mok, A.K.: Improvement in feasibilty testing for real-time tasks. Journal of Real-Time Systems\u00a011(1), 19\u201339 (1996)","journal-title":"Journal of Real-Time Systems"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF02341920","volume":"1","author":"B. Sprunt","year":"1989","unstructured":"Sprunt, B., Sha, L., Lehoczky, J.P.: Aperiodic task scheduling for hard real-time systems. Real-Time Systems\u00a01, 27\u201369 (1989)","journal-title":"Real-Time Systems"},{"key":"9_CR22","unstructured":"Spuri, M.: Analysis of deadline schedule real-time systems. Technical Report 2772, INRIA, France (1996)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, F., Burns, A.: Analysis of hierarchical EDF preemptive scheduling. In: IEEE Real-Time Systems Symposium (RTSS), pp. 423\u2013435 (2007)","DOI":"10.1109\/RTSS.2007.12"},{"key":"9_CR24","unstructured":"Zhang, F., Burns, A.: Schedulability analysis for real-time systems with EDF scheduling. Technical Report YCS 426, University of York (2008)"},{"key":"9_CR25","unstructured":"Zhang, F., Burns, A.: Schedulability analysis for real-time systems with EDF scheduling. IEEE Transaction on Computers (to appear) (2008)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Zuberi, K.M., Pillai, P., Shin, K.G., Emeralds, K.G.: A small memory real-time microkernel. In: ACM Symposium on Operating Systems Principles, pp. 277\u2013291 (1999)","DOI":"10.1145\/319151.319170"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01924-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T23:35:15Z","timestamp":1739144115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01924-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019234","9783642019241"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01924-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}