An extended ravenscar profile for execution time control
Kristoffer Nyborg Gregertsen · ACM SIGAda Ada Letters · 2013
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.