{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:47Z","timestamp":1725544007112},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346630"},{"type":"electronic","value":"9783540346647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767077_1","type":"book-chapter","created":{"date-parts":[[2006,5,29]],"date-time":"2006-05-29T05:29:34Z","timestamp":1148880574000},"page":"1-12","source":"Crossref","is-referenced-by-count":8,"title":["Hierarchical Scheduling with Ada 2005"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 A.","family":"Pulido","sequence":"first","affiliation":[]},{"given":"Santiago","family":"Urue\u00f1a","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"ISO\/IEC: TR 15942:2000 \u2014 Guide for the use of the Ada programming language in high integrity systems (2000)"},{"key":"1_CR2","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":"1_CR3","unstructured":"ARINC: Avionics Application Software Standard Interface \u2014 ARINC Specification 653-1 (2003)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/959221.959232","volume":"XXIII","author":"J.L. Tokar","year":"2003","unstructured":"Tokar, J.L.: Space & time partitioning with ARINC 653 and pragma profile. Ada Letters\u00a0XXIII, 52\u201354 (2003); Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12)","journal-title":"Ada Letters"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/369264.369266","volume":"XX","author":"B. Dobbing","year":"2000","unstructured":"Dobbing, B.: Building partitioned architectures based on the Ravenscar profile. Ada Lett.\u00a0XX, 29\u201331 (2000)","journal-title":"Ada Lett."},{"key":"1_CR6","unstructured":"Davis, R., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. Technical Report YCS-2005-385, University of York (2005)"},{"key":"1_CR7","volume-title":"IEEE Real-Time Systems Symposium","author":"L. Sha","year":"1986","unstructured":"Sha, L., Lehoczky, J., Rajkumar, R.: Solutions for some practical problems in prioritized preemptive scheduling. In: IEEE Real-Time Systems Symposium. IEEE Computer Society Press, Los Alamitos (1986)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Strosnider, J., Lehoczky, J., Sha, L.: The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Tr. on Computers\u00a044 (1995)","DOI":"10.1109\/12.368008"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic task scheduling for hard real-time systems. Real-Time Systems\u00a01 (1989)","DOI":"10.1007\/BF02341920"},{"key":"1_CR10","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 (Draft 15) (2005), Available on http:\/\/www.adaic.com\/standards\/rm-amend\/html\/RM-TTL.html"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"T.P. Baker","year":"1991","unstructured":"Baker, T.P.: Stack-based scheduling for realtime processes. Real-Time Systems\u00a03, 67\u201399 (1991)","journal-title":"Real-Time Systems"},{"key":"1_CR12","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":"1_CR13","doi-asserted-by":"crossref","unstructured":"Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM\u00a020 (1973)","DOI":"10.1145\/321738.321743"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Leung, J., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic real-time tasks. Performance Evaluation\u00a02 (1982)","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal\u00a08 (1993)","DOI":"10.1049\/sej.1993.0034"},{"key":"1_CR16","volume-title":"Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M.H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T., Pollack, B., Obenza, R., Gonz\u00e1lez-Harbour, M.: A Practitioner\u2019s Handbook for Real-Time Analysis. In: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston (1993)"},{"key":"1_CR17","volume-title":"Real Time Programming 1991. Proceedings of the IFAC\/IFIP Workshop","author":"N. Audsley","year":"1992","unstructured":"Audsley, N., Burns, A., Richardson, M., Wellings, A.: Hard real-time scheduling: The deadline-monotonic approach. In: Halang, W.A., Ramamrithan, K. (eds.) Real Time Programming 1991. Proceedings of the IFAC\/IFIP Workshop. Pergamon Press, Oxford (1992)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:TIME.0000045315.61234.1e","volume":"28","author":"L. Sha","year":"2004","unstructured":"Sha, L., Abdelzaher, T., \u00c5rz\u00e9n, K.-E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.: Real time scheduling theory: A historical perspective. Real-Time Systems\u00a028, 101\u2013155 (2004)","journal-title":"Real-Time Systems"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01995675","volume":"2","author":"S.K. Baruah","year":"1990","unstructured":"Baruah, S.K., Rosier, L.E., Howell, R.R.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst.\u00a02, 301\u2013324 (1990)","journal-title":"Real-Time Syst."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Spuri, M., Buttazzo, G.C.: Efficient aperiodic service under earliest deadline scheduling. In: IEEE Real-Time Systems Symposium (1994)","DOI":"10.1109\/REAL.1994.342735"},{"key":"1_CR21","unstructured":"Spuri, M.: Analysis of deadline scheduled real-time systems. Technical Report RR-2772, INRIA, France (1996)"},{"key":"1_CR22","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proceedings of the 24th IEEE Real-Time Systems Symposium (2003)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Harbour, M., Palencia, J.C.: Response time analysis for tasks scheduled under EDF within fixed priorities. In: Proceedings of the 24th IEEE Real-Time Systems Symposium, Canc\u00fan, M\u00e9xico (2003)","DOI":"10.1109\/REAL.2003.1253267"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11499909_12","volume-title":"Reliable Software Technology \u2013 Ada-Europe 2005","author":"P. Amey","year":"2005","unstructured":"Amey, P., Chapman, R., White, N.: Smart certification of mixed criticality systems. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005, vol.\u00a03555, pp. 144\u2013155. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767077_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T21:37:50Z","timestamp":1555623470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767077_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346630","9783540346647"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11767077_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}