skip to main content
research-article

Execution time timers for interrupt handling

Published:08 November 2013Publication History
Skip Abstract Section

Abstract

This paper argues that the addition of interrupt timers follows naturally by execution time measurement for interrupt handling introduced with Ada 2012, and that full execution time control for interrupts allows safety against unexpected interrupt rates that could not be achieved in an efficent and easy manner otherwise. Hence, it is argued that this feature should be considered for the next revision of Ada.

References

  1. 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
  2. A. Burns and A. Wellings. Concurrent and Real-Time Programming in Ada. Cambridge, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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
  4. K. N. Gregertsen and A. Skavhaug. Execution-time control for interrupt handling. Ada Lett., 30, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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
  6. K. N. Gregertsen and A. Skavhaug. Implementation and usage of the new Ada 2012 execution time control features. Ada User Journal, 32(4):265--275, December 2011.Google ScholarGoogle Scholar
  7. 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
  8. ISO/IEC. Ada Reference Manual - ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1.Google ScholarGoogle Scholar
  9. ISO/IEC. Ada Reference Manual - ISO/IEC 8652:2012(E).Google ScholarGoogle Scholar
  10. S. Michell and J. Real. Conclusions of the 14th International Real-Time Ada Workshop. Ada Lett., 30, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. M. A. Rivas and M. González Harbour. Execution time monitoring and interrupt handlers: position statement. Ada Lett., 30, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. S. J. Søvik. Hardware implementation of a Time Management Unit. Master's thesis, NTNU, 2010.Google ScholarGoogle Scholar
  13. T. Vardanega, M. G. Harbour, and L. M. Pinho. Session summary: language and distribution issues. Ada Lett., 30, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. A. Wellings. Implementation experience with Ada 2005. Ada Lett., XXVII, no 2:59--60, 2007. session report.Google ScholarGoogle Scholar
  15. 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
  16. 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

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 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 8 November 2013

    Check for updates

    Qualifiers

    • research-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!