Ravenscar profile

Citation maintenance. Please you see. Any concerns? Please . The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time systems.

Restrictions of the profile

A Ravenscar Ada application uses the following compiler directive:

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

References

*cite journal
author = Alan Burns
title = The Ravenscar Profile
journal = ACM SIGAda Ada Letters
month = December
year = 1999
volume = XIX
issue = 4
pages = 49–52
url = http://polaris.dit.upm.es/~str/proyectos/ork/documents/RP_spec.pdf
doi = 10.1145/340396.340450
*cite journal
author = Alan Burns, Brian Dobbing and Tullio Vardanega
title = Guide for the use of the Ada Ravenscar Profile in high integrity systems
journal = ACM SIGAda Ada Letters
month = June
year = 2004
volume = XXIV
issue = 2
pages = 1–74
url = http://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf
doi = 10.1145/997119.997120
*cite techreport
title = Ravenscar profile for high-integrity systems
number = AI95-00249
institution = ISO/WG9 Ada Rapporteur Group
url = http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT?rev=1.15