skip to main content
article

Implementing the new Ada 2005 real-time features on a bare board kernel

Published:17 April 2007Publication History
Skip Abstract Section

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.

References

  1. Ada Rapporteur Group. Ada Issue 297 --- Timing events. Ada Letters, XXV(3), September 2005.Google ScholarGoogle Scholar
  2. Ada Rapporteur Group. Ada Issue 307 --- Execution-time clocks. Ada Letters, XXVI(1), April 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Ada Rapporteur Group. Ada Issue 354 --- Group execution-time budgets. Ada Letters, XXVI(2), August 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, 3 edition, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. ESA. 32 Bit Microprocessor and Computer System Development, 1992. Report 9848/92/NL/FM.Google ScholarGoogle Scholar
  10. GR. LEON2 Processor User's Manual, 2005. Gaisler Research.Google ScholarGoogle Scholar
  11. Intel Corporation. IA-PC HPET (High Precision Event Timers) Specification, 2004. Intel Corporation.Google ScholarGoogle Scholar
  12. Ada 95 Reference Manual: Language and Standard Libraries. International Standard ANSI/ISO/IEC-8652:1995, 1995. Available from Springer-Verlag, LNCS no. 1246.Google ScholarGoogle Scholar
  13. J. Miranda. A Detailed Description of the GNU Ada Run Time. http://www.iuma.ulpgc.es/users/jmiranda/gnatrts/, 2003.Google ScholarGoogle Scholar
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. P. Puschner and A. Burns. A review of worst-case execution time analysis. Real-Time Systems, 18(2/3):115--128, May 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  19. T. Vardanega. Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency, 1999.Google ScholarGoogle Scholar
  20. 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 ScholarGoogle Scholar
  21. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Implementing the new Ada 2005 real-time features on a bare board kernel

                Recommendations

                Comments

                Login options

                Check if you have access through your login credentials or your institution to get full access on this article.

                Sign in

                Full Access

                • Published in

                  cover image ACM SIGAda Ada Letters
                  ACM SIGAda Ada Letters  Volume XXVII, Issue 2
                  Papers of the 13th International Real-Time Ada Workshop (IRTAW-13)
                  August 2007
                  83 pages
                  ISSN:1094-3641
                  DOI:10.1145/1316002
                  Issue’s Table of Contents
                  • cover image ACM Other conferences
                    IRTAW '07: Proceedings of the 13th international workshop on Real-time Ada
                    April 2007
                    116 pages
                    ISBN:9781450378406
                    DOI:10.1145/1316003

                  Copyright © 2007 ACM

                  Publisher

                  Association for Computing Machinery

                  New York, NY, United States

                  Publication History

                  • Published: 17 April 2007

                  Check for updates

                  Qualifiers

                  • article

                PDF Format

                View or Download as a PDF file.

                PDF

                eReader

                View online with eReader.

                eReader
                About Cookies On This Site

                We use cookies to ensure that we give you the best experience on our website.

                Learn more

                Got it!