Abstract
A real-time kernel providing timing services is a key component of any real-time system. The current revision of the Ada standard provides a range of real-time mechanisms that can be used to ensure the required temporal behaviour of real-time tasks. However, kernel timing services must be implemented carefully in order to avoid overheads and inaccuracies. This paper describes the implementation of the Ada timing services in an evolved version of the Open Ravenscar Kernel. The interrelation among the different timing mechanisms is also analysed and evaluated.
- Ada Rapporteur Group. Ada Issue 297 --- Timing events. Ada Letters, XXV(3), September 2005.Google Scholar
- Ada Rapporteur Group. Ada Issue 307 --- Execution-time clocks. Ada Letters, XXVI(1), April 2006. Google Scholar
Digital Library
- Ada Rapporteur Group. Ada Issue 354 --- Group execution-time budgets. Ada Letters, XXVI(2), August 2006. Google Scholar
Digital Library
- A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, 3 edition, 2001. Google Scholar
Digital Library
- J. A. de la Puente, J. F. Ruiz, and J. Zamorano. An open Ravenscar real-time kernel for GNAT. In H. B. Keller and E. Plöedereder, editors, Reliable Software Technologies --- Ada-Europe 2000, number 1845 in LNCS, pages 5--15. Springer-Verlag, 2000. Google Scholar
Digital Library
- J. A. de la Puente and J. Zamorano. Execution-time clocks and Ravenscar kernels. Ada Letters, XXIII(4):82--86, December 2003. Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12). Google Scholar
Digital Library
- J. A. de la Puente, J. Zamorano, J. F. Ruiz, R. Fernández, and R. Garcí;a. The design and implementation of the Open Ravenscar Kernel. Ada Letters, XXI(1), 2001. Google Scholar
Digital Library
- B. Dobbing and J. A. de la Puente. Session report: Status and future of the Ravenscar profile. Ada Letters, XXIII(4):55--57, December 2003. Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Google Scholar
Digital Library
- ESA. 32 Bit Microprocessor and Computer System Development, 1992. Report 9848/92/NL/FM.Google Scholar
- GR. LEON2 Processor User's Manual, 2005. Gaisler Research.Google Scholar
- Intel Corporation. IA-PC HPET (High Precision Event Timers) Specification, 2004. Intel Corporation.Google Scholar
- Ada 95 Reference Manual: Language and Standard Libraries. International Standard ANSI/ISO/IEC-8652:1995, 1995. Available from Springer-Verlag, LNCS no. 1246.Google Scholar
- J. Miranda. A Detailed Description of the GNU Ada Run Time. http://www.iuma.ulpgc.es/users/jmiranda/gnatrts/, 2003.Google Scholar
- J. A. Pulido, S. Urueña, J. Zamorano, and J. A. de la Puente. Handling temporal faults in Ada 2005. In N. Abdennadher and F. Kordon, editors, Reliable Software Technologies --- Ada-Europe 2007, number 4498 in LNCS, pages 15--28. Springer-Verlag, 2007. Google Scholar
Digital Library
- J. A. Pulido, S. Urueña, J. Zamorano, T. Vardanega, and J. A. de la Puente. Hierarchical scheduling with Ada 2005. In L. M. Pinho and M. González Harbour, editors, Reliable Software Technologies --- Ada-Europe 2006, volume 4006 of LNCS. Springer Berlin / Heidelberg, 2006. Google Scholar
Digital Library
- P. Puschner and A. Burns. A review of worst-case execution time analysis. Real-Time Systems, 18(2/3):115--128, May 2000. Google Scholar
Digital Library
- J. F. Ruiz. GNAT Pro for on-board mission-critical space applications. In T. Vardanega and A. Wellings, editors, Reliable Software Technologies --- Ada-Europe 2005, volume 3555 of LNCS. Springer-Verlag, 2005. Google Scholar
Digital Library
- S. T. Taft, R. A. Duff, R. L. Brukardt, E. Plöedereder, and P. Leroy, editors. Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1. Number 4348 in Lecture Notes in Computer Science. Springer-Verlag, 2006. Google Scholar
Digital Library
- T. Vardanega. Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency, 1999.Google Scholar
- J. Zamorano, A. Alonso, J. A. Pulido, and J. A. de la Puente. Implementing execution-time clocks for the Ada Ravenscar profile. In A. Llamosí; and A. Strohmeier, editors, Reliable Software Technologies --- Ada-Europe 2004, volume 3063 of LNCS. Springer-Verlag, 2004.Google Scholar
- J. Zamorano, J. F. Ruiz, and J. A. de la Puente. Implementing Ada.Real_Time.Clock and absolute delays in real-time kernels. In A. Strohmeier and D. Craeynest, editors, Reliable Software Technologies --- Ada-Europe 2001, number 2043 in LNCS, pages 317--327. Springer-Verlag, 2001. Google Scholar
Digital Library
Index Terms
Implementing the new Ada 2005 real-time features on a bare board kernel
Recommendations
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07: Proceedings of the 13th international workshop on Real-time AdaA real-time kernel providing timing services is a key component of any real-time system. The current revision of the Ada standard provides a range of real-time mechanisms that can be used to ensure the required temporal behaviour of real-time tasks. ...
Enhancing Real-Time CORBA via Real-Time Java Features
ICDCS '04: Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)End-to-end middleware predictability is essential to support quality of service (QoS) capabilities needed by distributed real-time and embedded (DRE) applications. Real-time CORBA is a middleware standard that allows DRE applications to allocate, ...
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture
This paper describes how the new Ada 2005 timing event and execution time control features were implemented for the GNAT bare-board Ravenscar run-time environment on the Atmel AVR32 architecture. High accuracy for execution time measurement was achieved ...







Comments