{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:45:07Z","timestamp":1761943507694,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645368"},{"type":"electronic","value":"9783540698029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055011","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:11:49Z","timestamp":1153977109000},"page":"263-275","source":"Crossref","is-referenced-by-count":54,"title":["The Ravenscar tasking profile for high integrity real-time programs"],"prefix":"10.1007","author":[{"given":"A.","family":"Burns","sequence":"first","affiliation":[]},{"given":"B.","family":"Dobbing","sequence":"additional","affiliation":[]},{"given":"G.","family":"Romanski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"23_CR1","unstructured":"T. Baker and T. Vardanega. Session summary: Tasking profiles. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 5\u20137. ACM Ada Letters, 1997."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"A. Burns and A.J. Welling. Restricted tasking models. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 27\u201332. ACM Ada Letters, 1997.","DOI":"10.1145\/271658.271679"},{"key":"23_CR3","unstructured":"A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995."},{"issue":"3","key":"23_CR4","first-page":"287","volume":"1","author":"A. Burns","year":"1995","unstructured":"A. Burns and A. J. Wellings. Safety kernels: Specification and implementation. High Integrity Systems, 1(3):287\u2013300, 1995.","journal-title":"High Integrity Systems"},{"key":"23_CR5","unstructured":"A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 2nd edition, 1996."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"A. Burns and A.J. Wellings. Ada 95: An effective concurrent programming language. In Alfred Strohmeier, editor, Proceedings of Reliable Software Technologies \u2014 Ada-Europe '96, pages 58\u201377. Springer-Verlag Lecture Notes in Computer Science, Vol 1088, 1996.","DOI":"10.1007\/BFb0013478"},{"issue":"2","key":"23_CR7","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00365316","volume":"11","author":"R. Chapman","year":"1996","unstructured":"R. Chapman, A. Burns, and A.J. Wellings. Combining static worst-case timing analysis and program proof. Real-Time Systems, 11(2):145\u2013171, September 1996.","journal-title":"Real-Time Systems"},{"key":"23_CR8","unstructured":"Software Considerations in Airborne Systems and Equipment Certification DO-178B\/ED-12B. RTCA, December 1992."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"B. Dobbing and M. Richard-Foy. T-SMART \u2014 task-safe, minimal Ada realtime toolset. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 45\u201350. ACM Ada Letters, 1997.","DOI":"10.1145\/271658.271689"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"D.I. Katcher, H. Arakawa, and J.K. Strosnider. Engineering and analysis of fixed priority schedulers. IEEE Trans. Softw. Eng., 19, 1993.","DOI":"10.1109\/32.241774"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"M. H. Klein, T. A. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner's Handbook for Real-Time Analysis: A Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-2796-1"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:36:28Z","timestamp":1555734988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645368","9783540698029"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055011","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}