Abstract
This paper proposes that execution-time control features for interrupt handling should be added to the Ada standard library. By measuring the execution-time for interrupts separately the accuracy of task execution-time measurement will be also improved. It is described how the proposed features were implemented for the GNAT bare-board Ravenscar run-time environment on the Atmel AVR32 architecture. Test results for the implementation and an example of usage are presented.
- Atmel Corporation. AT32UC3A Series -- Preliminary Datasheet.Google Scholar
- Atmel Corporation. AVR32 -- Architecture Document.Google Scholar
- A. Burns and A.J. 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 Scholar
Digital Library
- K.N. Gregertsen and A. Skavhaug. An efficient and deterministic multi-tasking run-time environment for ada and the ravenscar profile on the atmel avr R32 uc3 microcontroller. In Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09., pages 1572--1575, April 2009. Google Scholar
Digital Library
- Kristoffer Nyborg Gregertsen and Amund Skavhaug. Implementing the new Ada 2005 timing event and execution-time control features on the AVR32 architecture. Submitted to Journal of Systems Architecture, February 2009.Google Scholar
- Kristoffer Nyborg Gregertsen and Amund 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 Scholar
Digital Library
- ISO/IEC. Ada Reference Manual -- ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1.Google Scholar
- José F. Ruiz. GNAT pro for on-board misson-critical space applications. Ada-Europe, 2005. Google Scholar
Digital Library
- Santiago Urue na, José Pulido, José Redondo, and Juan Zamorano. Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Lett., XXVII(2):61--66, 2007. Google Scholar
Digital Library
- Andy Wellings. Implementation experience with Ada 2005. Ada Lett., XXVII, no 2:59--60, 2007. session report.Google Scholar
- Andy Wellings and Alan Burns. Ada-Europe 2007, chapter Real-Time Utilities for Ada 2005, pages 1--14. Springer Berlin / Heidelberg, 2007. Google Scholar
Digital Library
- Reinhard 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 Scholar
Digital Library
Recommendations
Execution time timers for interrupt handling
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 ...
Interrupt Handling for Out-of-Order Execution Processors
Processors with multiple functional units, including the superscalars, achieve significant performance enhancement through low-level execution concurrency. In such processors, multiple instructions are often issued and definitely executed concurrently ...
Revising the Ada Timers and Group Budgets to Support Execution Time Control for Interrupt Handling
This position paper revises the execution time timers and group budgets of the Ada programming language, to provide full support for execution time control for interrupt handling similar to that for tasks. This is done by adding abstract execution time ...






Comments