Ada Programming/Libraries/Ada.Dispatching.EDF

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Deadline AdaReal_TimeTime Default_Deadline  Deadline  AdaReal_TimeTime_Last Set_Deadline D  Deadline T  AdaTask_IdentificationTask_Id AdaTask_IdentificationCurrent_Task Delay_Until_And_Set_Deadline Delay_Until_Time  AdaReal_TimeTime Deadline_Offset   AdaReal_TimeTime_Span Get_Deadline T AdaTask_IdentificationTask_Id AdaTask_IdentificationCurrent_Task Deadline AdaDispatchingEDF

Wikibook

 * Ada Programming/Libraries/Ada