Ravenscar profile

The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time computing. It was defined by a separate technical report in Ada 95; it is now part of the Ada 2012 Standard. It has been named after the English village of Ravenscar, the location of the 8th International Real-Time Ada Workshop.

Restrictions of the profile

A Ravenscar Ada application uses the following compiler directive:

pragma Profile ;

This is the same as writing the following set of configuration pragmas:

pragma Task_Dispatching_Policy ;
pragma Locking_Policy ;
pragma Detect_Blocking;
pragma Restrictions ;