{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:51Z","timestamp":1725467631023},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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\/bfb0054998","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:11:49Z","timestamp":1153977109000},"page":"102-111","source":"Crossref","is-referenced-by-count":0,"title":["Programming hard real-time systems with optional components in Ada"],"prefix":"10.1007","author":[{"given":"Agust\u00edn","family":"Espinosa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vicente","family":"Juli\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Carrascosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9s","family":"Terrasa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Garc\u00eda-Fornes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"N.C. Audsley","year":"1995","unstructured":"Audsley, N.C., Burns, A., Davis, R., Tindell, K., and Wellings, J. (1995). \u201cFixed priority pre-emptive scheduling: an historical perspective\u201d. Real-Time Systems, Volume 8, 173\u2013198.","journal-title":"Real-Time Systems"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Audsley, N.C., Burns, A., Davis, R., and Wellings, J. (1994). \u201cAppropiate Mechanisms for the Support of Optional Processing in Hard Real-Time Systems\u201d. Proc. IEEE Real-Time Operating Systems and Software Workshop, 23\u201327.","DOI":"10.1109\/RTOSS.1994.292567"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Audsley, N.C., Davis, R., and Burns, A. (1994). \u201cMechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems\u201d. Proc. Real-Time Systems Symposium, pp. 12\u201321, IEEE Computer Society Press.","DOI":"10.1109\/REAL.1994.342734"},{"key":"10_CR4","first-page":"222","volume-title":"Scheduling Slack Time in Fixed Priority Preemptive Systems","author":"R.I. Davis","year":"1993","unstructured":"Davis, R.I., Tindell, K.W., and Burns, A. (1993). \u201cScheduling Slack Time in Fixed Priority Preemptive Systems\u201d. Proc. Real-Time Systems Symposium, Raleigh-Durham, North Carolina, December 1\u20133, pp. 222\u2013231, IEEE Computer Society Press."},{"key":"10_CR5","unstructured":"Davis, R.I. (1994). \u201cApproximate Slack Stealing Algorithms for Fixed Priority Preemptive Systems\u201d. Real-Time Systems Research Group. Department of Computer Science. University of York, UK. Report number YCS-93-217."},{"key":"10_CR6","volume-title":"Report number YCS-94-231","author":"R.I. Davis","year":"1994","unstructured":"Davis, R.I. (1994). \u201cGuaranteeing X in Y: On-line Acceptance Tests for Hard Aperiodic Tasks Scheduled by the Slack Stealing Algorithms\u201d Real-Time Systems Research Group. Department of Computer Science. University of York, UK. Report number YCS-94-231."},{"key":"10_CR7","volume-title":"Report number YCS-94-239","author":"R.I. Davis","year":"1994","unstructured":"Davis, R.I. (1994). \u201cOptimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems\u201d. Real-Time Systems Research Group. Department of Computer Science. University of York, UK. Report number YCS-94-239."},{"key":"10_CR8","unstructured":"Garcia-Fornes A., Crespo, A., and Botti, V. (1995). \u201cAdding hard real-time tasks to artificial intelligence environments\u201d. Proc. of the 20th IFAC\/IFIP Workshop on Real-Time Programming, Fort Lauderdale, Florida, USA."},{"key":"10_CR9","unstructured":"Stankovic, J. and Ramamritham, K. (1993). \u201cAdvances in Real-Time Systems\u201d. IEEE Computer Society Press. ISBN 0-8186-3792-7."}],"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\/BFb0054998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T06:18:33Z","timestamp":1549865913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645368","9783540698029"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0054998","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}