Abstract
The component library for both the cyclic and tasking executives has been released for distribution by the Spanish Ministry of Defense. The approximate size for each of the executive subsytems is about 8000 loc. The test code adds up to 50000 loc for each subsystem.
In our opinion, the development of reusable executive components has been made possible by such Ada features as tasking (for the tasking executive), packages, generics and low level constructions. These features are unique to Ada and provide a solid base for developing high quality reusable software components.
A large effort has been made in order to get a clear design and to provide the user with components that are close to his or her perception of the system to be developed. The abstraction level of the components is significantly higher than that provided by pure Ada.
This research was funded by contract No. 508/24/90 from the Subdirección General de Tecnología e Investigación, Ministerio de Defensa de España
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Alonso, J. L. Redondo, C. Blanco, J. I. Tortosa, and J. A. de la Puente. Ejecutivo multitarea. Manual de Usuario, Jan. 1992.
T. Baker and A. Shaw. The cyclic executive model and Ada. Real-Time Systems, 1(1), 1989.
G. Booch. Software components with Ada. Benjamin Cummings, 1987.
R. Bousley. Reusable avionics executive software. In IEEE National Aerospace and Electronics Conference, 1981.
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.
J. L. Fernández 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.
R. Holzapfel and G. Winterstein. Ada in safety critical applications. In S. Heilbrunner, editor, Ada in Industry. Cambridge University Press, 1988.
J.P.Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm — exact characterization and average case behavior. In IEEE Real-Time Systems Symposium, 1989.
J. Leung and J. Whitehead. On the complexity of fixed-priority of periodic real-time tasks. Performance Evaluation, 2(4), 1982.
C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1), 1973.
C. Locke, D. Vogel, and T. Mesler. Building a Predictable Avionics Platform in Ada: A Case Study. In IEEE Real-Time Systems Symposium, 1991.
R. Rajkumar and L. Sha. Accomplishing mode changes in Ada. In 3rd International Workshop on Real-Time Ada Issues, 1989.
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.
L. Sha and J. B. Goodenough. Real-time scheduling theory and Ada. IEEE Computer, 23(4), 1990.
L. Sha, J. Lehoczky, and R. Rajkumar. Solutions for some practical problems in prioritized preemptive scheduling. In IEEE Real-Time Systems Symposium, 1986.
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.
B. Sprunt, L. Sha, and J. Lehoczky. Aperiodic task scheduling for hard real-time systems. Real-Time Systems, 1(1), 1989.
J. Zamorano, J. L. Redondo, C. Blanco, J. I. Tortosa, and J. A. de la Puente. Ejecutivo cíclico. Manual de Usuario, Jan. 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de la Puente, J.A., Zamorano, J., Alonso, A., Fernández, J.L. (1992). Reusable executives for hard real-time systems in Ada. In: van Katwijk, J. (eds) Ada: Moving Towards 2000. Ada-Europe 1992. Lecture Notes in Computer Science, vol 603. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55585-4_10
Download citation
DOI: https://doi.org/10.1007/3-540-55585-4_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55585-8
Online ISBN: 978-3-540-47240-7
eBook Packages: Springer Book Archive