This paper describes an implementation of Ada 2012 execution time control supporting the
new separate execution time clocks for interrupts that has a design with several benefits …

This paper provides an overview of the real-time additions to Ada 2012 and their
implementation status in GNAT. Most of these additions are related to multiprocessors …

The goal of the session was to consider a set of additions and changes to the language
arising from the accepted position papers, but still not consensual. The session lasted a full …

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 …

This paper describes how a dedicated Time Management Unit (TMU) is used to reduce the
overhead of execution time control. While the implementation described here is for Ada …

Execution time control is a technique that allows execution time budgets to be set and
overruns to be handled dynamically to prevent deadline misses. This removes the need for …