Execution time timers for interrupt handling
Kristoffer Nyborg Gregertsen, Amund Skavhaug · ACM SIGAda Ada Letters · 2013
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.