{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:54Z","timestamp":1725562554568},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_10","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T16:28:22Z","timestamp":1281284902000},"page":"132-143","source":"Crossref","is-referenced-by-count":2,"title":["Implementing Execution-Time Clocks for the Ada Ravenscar Profile"],"prefix":"10.1007","author":[{"given":"Juan","family":"Zamorano","sequence":"first","affiliation":[]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Antonio","family":"Pulido","sequence":"additional","affiliation":[]},{"given":"Juan Antonio","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999) ISBN 90-9092-334-2"},{"key":"10_CR2","volume-title":"Advances in Real-Time Systems","author":"A. Burns","year":"1994","unstructured":"Burns, A.: Preemptive priority based scheduling: An appropriate engineering approach. In: Son, S. (ed.) Advances in Real-Time Systems, Prentice-Hall, Englewood Cliffs (1994)"},{"key":"10_CR3","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 \u201998","author":"A. Burns","year":"1998","unstructured":"Burns, A., Dobbing, B., Romanski, G.: The Ravenscar profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, p. 263. Springer, Heidelberg (1998)"},{"key":"10_CR4","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 (2003)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P. Puschner","year":"2000","unstructured":"Puschner, P., Burns, A.: A review of worst-case execution time analysis. Real-Time Systems\u00a018, 115\u2013128 (2000)","journal-title":"Real-Time Systems"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Aldea, M., Gonz\u00e1lez-Harbour, M.: Extending Ada\u2019s real-time systems annex with the POSIX scheduling services. In: Proceedings of the 10th International Real-Time Ada Workshop, Las Navas, \u00c1vila, Spain, September 2000. Ada Letters, vol.\u00a0XXI, pp. 20\u201326 (2000)","DOI":"10.1145\/374369.374376"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","first-page":"305","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"M. Aldea","year":"2001","unstructured":"Aldea, 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, pp. 305\u2013316. Springer, Heidelberg (2001)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Harbour, M., Vardanega, T.: Report of session: Current real-time AIs. In: Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Ada Letters, vol.\u00a0XXIII, pp. 22\u201323 (2003)","DOI":"10.1145\/959221.959226"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Burns, A., Vardanega, T.: Report of session: Generating new AIs. In: Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Ada Letters, vol.\u00a0XXIII, pp. 93\u201395 (2003)","DOI":"10.1145\/959221.959239"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"de la Puente, J.A., Zamorano, J.: Execution-time clocks and Ravenscar kernels. Ada Letters, vol.\u00a0XXIII, pp. 82\u201386 (2003)","DOI":"10.1145\/959221.959237"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/10722060_4","volume-title":"Reliable Software Technologies Ada-Europe 2000","author":"J.A. Puente de la","year":"2000","unstructured":"de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In: Keller, H.B., Pl\u00f6dereder, E. (eds.) Ada-Europe 2000. LNCS, vol.\u00a01845, pp. 5\u201315. Springer, Heidelberg (2000)"},{"key":"10_CR12","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, pp. 317\u2013327. Springer, Heidelberg (2001)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Dobbing, B., de la Puente, J.A.: Session: Status and future of the Ravenscar profile. In: Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Ada Letters, vol.\u00a0XXIII, pp. 55\u201357 (2003)","DOI":"10.1145\/959221.959233"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T08:48:28Z","timestamp":1559378908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}