The Ravenscar profile is a subset of the Ada tasking features. Ada is a structured, statically typed programming language designed by Jean Ichbiah of CII Honeywell Bull in the 1970s. ...

Restrictions of the profile

A Ravenscar Ada application use the following compiler directive: In computer science, a compiler directive is data embedded in source code by programmers to tell compilers some intention about compilation. ...

 pragma Profile (Ravenscar); 

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

 pragma Task_Dispatching_Policy (FIFO_Within_Priorities); pragma Locking_Policy (Ceiling_Locking); pragma Detect_Blocking; pragma Restrictions ( No_Abort_Statements, No_Dynamic_Attachment, No_Dynamic_Priorities, No_Implicit_Heap_Allocations, No_Local_Protected_Objects, No_Local_Timing_Events, No_Protected_Type_Allocators, No_Relative_Delay, No_Requeue_Statements, No_Select_Statements, No_Specific_Termination_Handlers, No_Task_Allocators, No_Task_Hierarchy, No_Task_Termination, Simple_Barriers, Max_Entry_Queue_Length => 1, Max_Protected_Entries => 1, Max_Task_Entries => 0, No_Dependence => Ada.Asynchronous_Task_Control, No_Dependence => Ada.Calendar, No_Dependence => Ada.Execution_Time.Group_Budget, No_Dependence => Ada.Execution_Time.Timers, No_Dependence => Ada.Task_Attributes); 

See also

• Ada
• SPARK

Ada is a structured, statically typed programming language designed by Jean Ichbiah of CII Honeywell Bull in the 1970s. ... SPARK is a formally defined annotated sub-set of the Ada programming language, based on Ada 83 and Ada 95, which includes compile-time design-by-contract prooving. ...

References

• Alan Burns, "The Ravenscar Profile", Ada-Letters (1999)
• Alan Burns, Brian Dobbing, Tullio Vardanega, Guide for the use of the Ada Ravenscar Profile in high integrity systems, University of York Technical Report YCS-2003-348 (January 2003)
• AI95-00249 Ravenscar profile for high-integrity systems (http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT?rev=1.14)