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.
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- A. Burns and A. Wellings. Concurrent and Real-Time Programming in Ada. Cambridge, 2007. Google Scholar
Digital Library
- R. Davis and A. Wellings. Dual priority scheduling. In Real-Time Systems Symposium, 1995. Proceedings., 16th IEEE, pages 100--109, 1995. Google Scholar
Digital Library
- J. A. de la Puente and J. Zamorano. Execution-time clocks and Ravenscar kernels. Ada Lett., XXIII(4):82--86, 2003. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- K. N. Gregertsen and A. Skavhaug. Execution time timers for interrupt handling. Submitted to IRTAW- 16.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- ISO/IEC. Ada Reference Manual - ISO/IEC 8652:2012(E).Google Scholar
- 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 Scholar
Digital Library
- A. Wellings and A. Burns. Ada-Europe 2007, chapter Real-Time Utilities for Ada 2005, pages 1--14. Springer Berlin / Heidelberg, 2007. Google Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
(auto-classified)An extended ravenscar profile for execution time control
Recommendations
Exception support for the ravenscar profile
Exception handling for a 21st century programming language proceedingsThe GNAT/ORK cross-compilation system was designed to support the Ravenscar profile semantics in a simple and efficient way. The implementation of the underlying kernel support for the exception handling was not difficult, but it raised two main issues. ...
Execution-time control for interrupt handling
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. ...
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 ...






Comments