Abstract
This paper describes the architecture of ORK, an open source real-time kernel that implements the Ravenscar profile for the GNAT compilation system on a bare ERC32 computer. The kernel has a reduced size and complexity, and has been carefully designed in order to make it possible to build reliable software for on-board space applications. The kernel is closely integrated with the GNAT runtime library, and supports Ada tasking in an efficient and compact way.
This work has been funded by ESA/ESTEC contract no. No.13863/99/NL/MV.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ada Core Technologies. GNAT Reference Manual. Version 3.13a (March 2000)
Taft, T.S., Duff, R.A. (eds.): Ada 95 Reference Manual. LNCS, vol. 1246. Springer, Heidelberg (1997)
Asplund, L., Johnson, B., Lundqvist, K.: Session summary: The Ravenscar profile and implementation issues. Ada Letters XIX(25), 12–14 (1999); Proceedings of the 9th International Real-Time Ada Workshop
Baker, T., Vardanega, T.: Session summary: Tasking profiles. Ada Letters XVII(5), 5–7 (1997); Proceedings of the 8th International Ada Real-Time Workshop
Burns, A.: The Ravenscar profile. Technical report, University of York (1999), Available at http://www.cs.york.ac.uk/rts/papers/p.ps
Burns, A., Dobbing, B., Romanski, G.: The ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, p. 263. Springer, Heidelberg (1998)
de la Puente, J.A., Ruiz, J.F., González-Barahona, J.M.: Realtime programming with GNAT: Specialised kernels versus POSIX threads. Ada Letters XIX(2), 73–77 (1999); Proceedings of the 9th International Real-Time Ada Workshop
Dobbing, B., Romanski, G.: The Ravenscar profile: Experience report. Ada Letters XIX(2), 28–32 (1999); Proceedings of the 9th International Real-Time Ada Workshop
ESA. 32 Bit Microprocessor and Computer System Development, Report 9848/92/NL/FM (1992)
Gaisler, J.: The ERC32 GNU Cross-Compiler System. ESA/ESTEC, Version 2.0.6 (1999)
Giering, E.W., Baker, T.P.: The GNU Ada Runtime Library (GNARL): Design and implementation. In: Proceedings of the Washington Ada Symposium (1994)
IEEE. Portable Operating System Interface (POSIX) — Part 1: System Application Program Interface (API) [C Language] (Incorporating IEEE Stds 1003.1-1990, 1003.1b-1993, 1003.1c-1995, and 1003.1i-1995), ISO/IEC 9945-1:1996 (1990)
Intermetrics. Barnes, J. (ed.) Ada 95 Rationale. LNCS, vol. 1247. Springer, Heidelberg (1997)
Kamrad, M., Spinney, B.: An Ada runtime system implementation of the Ravenscar profile for a high speed application layer data switch. In: González Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol. 1622, pp. 26–38. Springer, Heidelberg (1999)
Mok, A.K.: The design of real-time programming systems based on process models. In: IEEE Real-Time Systems Symposium. IEEE Computer Society Press, Los Alamitos (1984)
Mueller, F.: A library implementation of POSIX threads under UNIX. In: Proceedings of the USENIX Conference, pp. 29–41 (January 1993)
Ruiz, J.F., González-Barahona, J.M.: Implementing a new low-level tasking support for the GNAT runtime system. In: González Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol. 1622, pp. 298–307. Springer, Heidelberg (1999)
Shen, H., Baker, T.P.: A Linux kernel module implementation of restricted Ada tasking. Ada Letters XIX(2), 96–103 (1999); Proceedings of the 9th International Real-Time Ada Workshop
Shen, H., Charlet, A., Baker, T.P.: A ’bare-machine’ implementation of Ada multi-tasking beneath the Linux kernel. In: González Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol. 1622, pp. 287–297. Springer, Heidelberg (1999)
Walker, W.M., Wooley, P.T., Burns, A.: An experimental testbed for embedded real time Ada 95. Ada Letters XIX(2), 84–89 (1999); Proceedings of the 9th International Real-Time Ada Workshop
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de la Puente, J.A., Ruiz, J.F., Zamorano, J. (2000). An Open Ravenscar Real-Time Kernel for GNAT. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_4
Download citation
DOI: https://doi.org/10.1007/10722060_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive