{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:46:57Z","timestamp":1760820417226},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555858"},{"type":"electronic","value":"9783540472407"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55585-4_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:14:10Z","timestamp":1330251250000},"page":"104-115","source":"Crossref","is-referenced-by-count":2,"title":["Reusable executives for hard real-time systems in Ada"],"prefix":"10.1007","author":[{"given":"Juan A.","family":"Puente","sequence":"first","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[]},{"given":"Jose L.","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"10_CR1","unstructured":"A. Alonso, J. L. Redondo, C. Blanco, J. I. Tortosa, and J. A. de la Puente. Ejecutivo multitarea. Manual de Usuario, Jan. 1992."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"T. Baker and A. Shaw. The cyclic executive model and Ada. Real-Time Systems, 1(1), 1989.","DOI":"10.1007\/BF02341919"},{"key":"10_CR3","unstructured":"G. Booch. Software components with Ada. Benjamin Cummings, 1987."},{"key":"10_CR4","unstructured":"R. Bousley. Reusable avionics executive software. In IEEE National Aerospace and Electronics Conference, 1981."},{"key":"10_CR5","volume-title":"Hard Real-Time Operating Systems Kernel","author":"A. Burns","year":"1991","unstructured":"A. Burns and A. Wellings. Hard Real-Time Operating Systems Kernel. Task 1 Deliverable on Estec Contract 9198\/90\/NL\/SF, Department of Computer Science, University of York, UK, Sept. 1991."},{"key":"10_CR6","volume-title":"Ada: The Choice for '92","author":"J. L. Fern\u00e1ndez","year":"1991","unstructured":"J. L. Fern\u00e1ndez and J. A. de la Puente. Constructing a pilot library of components for avionic systems. In D. Christodoulakis, editor, Ada: The Choice for '92. Ada Europe, Springer-Verlag, 1991."},{"key":"10_CR7","unstructured":"R. Holzapfel and G. Winterstein. Ada in safety critical applications. In S. Heilbrunner, editor, Ada in Industry. Cambridge University Press, 1988."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J.P.Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm \u2014 exact characterization and average case behavior. In IEEE Real-Time Systems Symposium, 1989.","DOI":"10.1109\/REAL.1989.63567"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J. Leung and J. Whitehead. On the complexity of fixed-priority of periodic real-time tasks. Performance Evaluation, 2(4), 1982.","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1), 1973.","DOI":"10.1145\/321738.321743"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"C. Locke, D. Vogel, and T. Mesler. Building a Predictable Avionics Platform in Ada: A Case Study. In IEEE Real-Time Systems Symposium, 1991.","DOI":"10.1109\/REAL.1991.160372"},{"key":"10_CR12","unstructured":"R. Rajkumar and L. Sha. Accomplishing mode changes in Ada. In 3rd International Workshop on Real-Time Ada Issues, 1989."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"L. Sha and J. B. Goodenough. Real-time scheduling theory and Ada. Technical Report CMU\/SEI-89-TR-14;ESD-TR-89-22, Carnegie-Mellon University, Software Engineering Institute, 1989.","DOI":"10.21236\/ADA211397"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"L. Sha and J. B. Goodenough. Real-time scheduling theory and Ada. IEEE Computer, 23(4), 1990.","DOI":"10.1109\/2.55469"},{"key":"10_CR15","unstructured":"L. Sha, J. Lehoczky, and R. Rajkumar. Solutions for some practical problems in prioritized preemptive scheduling. In IEEE Real-Time Systems Symposium, 1986."},{"key":"10_CR16","unstructured":"L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols, an approach to real-time synchronization. Technical Report CMU-CS-87-181, Department of CS, ECE and Statistics, Carnegie Mellon University, 1987."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"B. Sprunt, L. Sha, and J. Lehoczky. Aperiodic task scheduling for hard real-time systems. Real-Time Systems, 1(1), 1989.","DOI":"10.1007\/BF02341920"},{"key":"10_CR18","unstructured":"J. Zamorano, J. L. Redondo, C. Blanco, J. I. Tortosa, and J. A. de la Puente. Ejecutivo c\u00edclico. Manual de Usuario, Jan. 1992."}],"container-title":["Lecture Notes in Computer Science","Ada: Moving Towards 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55585-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:37Z","timestamp":1605646777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55585-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555858","9783540472407"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55585-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}