{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:49Z","timestamp":1725557809213},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135491"},{"type":"electronic","value":"9783642135507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13550-7_11","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T15:14:12Z","timestamp":1276614852000},"page":"153-166","source":"Crossref","is-referenced-by-count":9,"title":["Preservation of Timing Properties with the Ada Ravenscar Profile"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Mezzetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Panunzio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","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 1998","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, p. 263. Springer, Heidelberg (1998)"},{"key":"11_CR2","unstructured":"ISO SC22\/WG9: Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO\/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (2005)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/3-540-45136-6_24","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"M. Aldea Rivas","year":"2001","unstructured":"Aldea Rivas, M., Gonz\u00e1lez Harbour, M.: MaRTE OS: an Ada Kernel for Real-Time Embedded Applications. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol.\u00a02043, p. 305. Springer, Heidelberg (2001)"},{"key":"11_CR4","unstructured":"Universidad Polit\u00e9cnica de Madrid: GNATforLEON cross-compilation system, \n                    \n                      http:\/\/polaris.dit.upm.es\/~ork"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: Proc. of the 17th Euromicro Conference on Real-Time Systems (2005)","DOI":"10.1109\/ECRTS.2005.9"},{"key":"11_CR6","volume-title":"HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.J.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, Amsterdam (1995)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-45136-6_25","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"J. Zamorano","year":"2001","unstructured":"Zamorano, J., Ruiz, J.F., de la Puente, J.A.: Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol.\u00a02043, p. 317. Springer, Heidelberg (2001)"},{"key":"11_CR8","unstructured":"IEEE Standard for Information Technology: Portable Operating System Interface (POSIX) - Part 1: System Application Program Interface (API) - Amendment 4: Additional Real-time Extensions (1999)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"dos Santos, O.M., Wellings, A.J.: Blocking Time Monitoring in the Real-Time Specification for Java. In: The 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 135\u2013143 (2008)","DOI":"10.1145\/1434790.1434811"},{"key":"11_CR10","unstructured":"Sha, L., Lehoczky, J.P., Rajkumar, R.: Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. In: Proc. of the 7th IEEE Real-Time Systems Symposium, pp. 181\u2013191 (1986)"},{"issue":"5","key":"11_CR11","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.K.: Finding Response Times in a Real-Time System. The Computer Journal\u00a029(5), 390\u2013395 (1986)","journal-title":"The Computer Journal"},{"issue":"1-3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s11241-006-9010-1","volume":"39","author":"E. Bini","year":"2008","unstructured":"Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity Analysis for Fixed-Priority Real-Time Systems. Real-Time Systems\u00a039(1-3), 5\u201330 (2008)","journal-title":"Real-Time Systems"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G. Bernat","year":"2001","unstructured":"Bernat, G., Burns, A., Llamos\u00ed, A.: Weakly Hard Real-Time Systems. IEEE Trans. Computers\u00a050(4), 308\u2013321 (2001)","journal-title":"IEEE Trans. Computers"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Balbastre, P., Ripoll, I., Crespo, A.: Schedulability Analysis of Window-Constrained Execution Time Tasks for Real-Time Control. In: Proceedings of the 14th Euromicro Conference on Real-Time Systems, pp. 11\u201318 (2002)","DOI":"10.1109\/EMRTS.2002.1019181"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Baruah, S., Burns, A.: Sustainable Scheduling Analysis. In: Proceedings of the 27th IEEE Real-Time Systems Symposium, pp. 159\u2013168 (2006)","DOI":"10.1109\/RTSS.2006.47"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologiey \u2013 Ada-Europe 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13550-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:07:11Z","timestamp":1619784431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13550-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135491","9783642135507"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13550-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}