{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:33Z","timestamp":1725492693527},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_24","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T13:58:29Z","timestamp":1192024709000},"page":"275-286","source":"Crossref","is-referenced-by-count":2,"title":["The Ceiling Protocol in Multi-moded Real-Time Systems1"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Real","sequence":"first","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"C.L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard realtime environment. Journal of the ACM 20(1), pp 46\u201361. 1973.","journal-title":"Journal of the ACM"},{"key":"24_CR2","volume-title":"Technical report CMU-CS-87-181","author":"L. Sha","year":"1987","unstructured":"L. Sha, R. Rajkumar and J.P. Lehoczky. Priority inheritance protocols: an approach to realtime synchronisation. Technical report CMU-CS-87-181. Computer Science Department, Carnegie-Mellon University. Pittsburgh, Pennsylvania. 1987."},{"key":"24_CR3","unstructured":"R. Rajkumar, L. Sha and J.P. Lehoczky. An experimental investigation of synchronisation protocols. Proceedings of the 6th IEEE Workshop on Real-Time Operating Systems and Software, pp. 11\u201317. May, 1989."},{"key":"24_CR4","unstructured":"Information Technology \u2014 Programming Languages Ada 95. International standard ISO\/IEC 8652:1995. (Ada Reference Manual). 1995."},{"key":"24_CR5","unstructured":"Information technology \u2014 Portable Operating System Interface (POSIX\u00ae) ISO\/IEC 9945-1:1996(E) ANSI\/IEEE Std 1003.1, 1996 Edition."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"K.W. Tindell, A. Burns and A.J. Wellings. Mode changes in priority pre-emptively scheduled systems. Proceedings of the Real Time Systems Symposium, Phoenix, Arizona. 1992.","DOI":"10.1109\/REAL.1992.242672"},{"key":"24_CR7","unstructured":"Private comments from Offer Pazy and Ted Baker."},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00365439","volume":"1","author":"L. Sha","year":"1989","unstructured":"L. Sha, R. Rajkumar, J.P. Lehoczky and R. Ramamritham. Mode change protocols for priority-driven preemptive scheduling. The Journal of Real-Time Systems, 1, 243\u2013264. 1989.","journal-title":"The Journal of Real-Time Systems"},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BFb0013494","volume-title":"Reliable Software Technologies. Proceedings of the Ada-Europe\u201996 Conference","author":"J. Real","year":"1996","unstructured":"J. Real, A. Espinosa and A. Crespo. Using Ada 95 for prototyping real-time systems. In A. Strohmeier (Ed.) Reliable Software Technologies. Proceedings of the Ada-Europe\u201996 Conference. Lecture Notes in Computer Science vol. 1088, pp. 262\u2013274. Springer Verlag."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"C.D. Locke, D.R. Vogel and T.J. Mesler. Building a predictable avionics platform in Ada: a case study. Proc. of the IEEE 12th Real Time Systems Symposium. Dec 1991.","DOI":"10.1109\/REAL.1991.160372"},{"issue":"5","key":"24_CR11","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N. Audsley","year":"1993","unstructured":"N. Audsley, A. Burns, M. Richardson, K. Tindell, A.J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal. 8(5) pp. 284\u2013292. 1993.","journal-title":"Software Engineering Journal"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"P. Pedro and A. Burns. Schedulability Analysis for Mode Changes in Flexible Real-Time Systems. Proceedings 10th Euromicro Workshop on Real-Time Systems. Berlin, June 1998.","DOI":"10.1109\/EMWRTS.1998.685082"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:12:49Z","timestamp":1550981569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}