{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:40:41Z","timestamp":1740354041006,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220114"},{"type":"electronic","value":"9783540248415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24841-5_12","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:28:22Z","timestamp":1281299302000},"page":"156-165","source":"Crossref","is-referenced-by-count":4,"title":["Supporting Deadlines and EDF Scheduling in Ada"],"prefix":"10.1007","author":[{"given":"Alan","family":"Burns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy J.","family":"Wellings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Tucker","family":"Taft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","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":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bernat, G., Burns, A.: Combining (n m)-hard deadlines with dual priority scheduling. In: Proceedings of 18th IEEE Real-Time systems symposium, San Francisco, CA (December 1997)","DOI":"10.1109\/REAL.1997.641268"},{"key":"12_CR3","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical Report YCS-2003-348, University of York, Department of Computer Science (2003)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-44947-7_25","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"A. Burns","year":"2003","unstructured":"Burns, A., Gonz\u00e1lez Harbour, M., Wellings, A.J.: A round robin scheduling policy for Ada. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 334\u2013343. Springer, Heidelberg (2003)"},{"key":"12_CR5","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley Longman, Amsterdam (2001)","edition":"3"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.J.: Dual priority scheduling in ada 95 and real-time posix. In: Proceedings of the 21st IFAC\/IFIP Workshop on Real-Time Programming, WRTP 1996, pp. 45\u201350 (1996)","DOI":"10.1016\/S1474-6670(17)46355-5"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Wellings, A.J.: Dual priority scheduling. In: Proceedings Real-Time Systems Symposium, pp. 100\u2013109 (1995)","DOI":"10.1109\/REAL.1995.495200"},{"issue":"1","key":"12_CR8","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"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Palencia, J.C., Gonz\u00e1lez Harbour, M.: Response time analysis for tasks scheduled under edf within fixed priorities. In: Proceedings of the 24th IEEE Real-Time Systems Simposium, Cancun, Mxico, pp. 200\u2013209 (2003)","DOI":"10.1109\/REAL.2003.1253267"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Aldea Rivas, M., Gonz\u00e1lez Harbour, M.: Application-defined scheduling in Ada. In: Tokar, J.L. (ed.) Proceedings of the 11th International Real-Time Ada Workshop. ACM Ada Letters, pp. 77\u201384 (2002)","DOI":"10.1145\/584418.584429"},{"key":"12_CR11","unstructured":"Spuri, M.: Analysis of deadline scheduled real-time systems. Technical Report RR-2772, INRIA (1996)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24841-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:17:03Z","timestamp":1740352623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}