skip to main content
research-article

An extended ravenscar profile for execution time control

Published:08 November 2013Publication History
Skip Abstract Section

Abstract

This position paper argues that an "extended Ravenscar" profile supporting execution time control should be specified. The new profile should add sufficent tasking features to handle execution time overruns, while keeping most of the Ravenscar properties such as a static task set and efficient run-time environments.

References

  1. A. Burns, B. Dobbing, and T. Vardanega. Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett., XXIV(2):1--74, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. A. Burns and A. Wellings. Programming execution-time servers in Ada 2005. In Proc. 27th IEEE International Real-Time Systems Symposium RTSS '06, pages 47--56, Dec. 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. Burns and A. Wellings. Concurrent and Real-Time Programming in Ada. Cambridge, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. R. Davis and A. Wellings. Dual priority scheduling. In Real-Time Systems Symposium, 1995. Proceedings., 16th IEEE, pages 100--109, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. J. A. de la Puente and J. Zamorano. Execution-time clocks and Ravenscar kernels. Ada Lett., XXIII(4):82--86, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. M. González Harbour et al. Implementing and using execution time clocks in Ada hard real-time applications. In Lecture Notes in Computer Science, volume Volume 1411/1998, pages 90--101. Springer Berlin / Heidelberg, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. K. N. Gregertsen and A. Skavhaug. Execution time timers for interrupt handling. Submitted to IRTAW- 16.Google ScholarGoogle Scholar
  8. K. N. Gregertsen and A. Skavhaug. An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR32 UC3 microcontroller. In Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09., pages 1572--1575, April 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. K. N. Gregertsen and A. Skavhaug. A real-time framework for Ada 2005 and the Ravenscar profile. In Software Engineering and Advanced Applications, 2009. SEAA '09. 35th Euromicro Conference on, pages 515--522, Aug. 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. K. N. Gregertsen and A. Skavhaug. Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture. Journal of Systems Architecture, 56:509--522, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. K. N. Gregertsen and A. Skavhaug. Improving the performance of execution time control by using a hardware time management unit. In M. Brorsson and L. M. Pinho, editors, Reliable Software Technologies - Ada-Europe 2012, volume 7308 of Lecture Notes in Computer Science, pages 177--192. Springer Berlin Heidelberg, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. ISO/IEC. Ada Reference Manual - ISO/IEC 8652:2012(E).Google ScholarGoogle Scholar
  13. S. Urueña, J. Pulido, J. Redondo, and J. Zamorano. Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Lett., XXVII(2):61--66, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. A. Wellings and A. Burns. Ada-Europe 2007, chapter Real-Time Utilities for Ada 2005, pages 1--14. Springer Berlin / Heidelberg, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. R. Wilhelm et al. The worst-case execution-time problem--overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1--53, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

(auto-classified)
  1. An extended ravenscar profile for execution time control

    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 33, Issue 2
      August 2013
      132 pages
      ISSN:1094-3641
      DOI:10.1145/2552999
      Issue’s Table of Contents

      Copyright © 2013 Author

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 8 November 2013

      Check for updates

      Qualifiers

      • research-article
    • Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0

      Other Metrics

    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!