• Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling 

      Gregertsen, Kristoffer Nyborg (Doktoravhandlinger ved NTNU, 1503-8181; 2012:78, Doctoral thesis, 2012)
      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 the worst-case execution time (WCET) of tasks ...
    • Execution Time Management for AVR32 Ravenscar 

      Gregertsen, Kristoffer Nyborg (Master thesis, 2008)
      This report describes how the new Ada 2005 execution time features was implemented for the GNAT bare-board Ravenscar run-time environment on the Atmel AVR32 architecture. Efficient and cycle accurate execution time measurement ...