3.18. Annex D: Real-Time Systems

Annex D is mostly supported and meets the requirements of the several profiles.

However, the restrictions defined here and in Annex H are supported, and used as defaults, as described in Appendix B.

D1. Task Priorities

Section D1 is fully supported with subtype Priority having a range from 0 .. 127, and subtype Interrupt_Priority having a range from 128 .. 255.

D2. Priority Scheduling

Section D2 is fully supported with the task dispatching policy FIFO_Within_Priorities.

D3. Priority Ceiling Locking

Section D3 is fully supported with Ceiling_Locking.

D4. Entry Queuing Policies

For protected types, section D4 is restricted so that the maximum queue length is one.

D5. Dynamic Priorities

The features of Section D5 are supported by default and may be prohibited by the use of appropriate restrictions or profiles.

D6. Preemptive Abort

The features of Section D6 are prohibited.

D7. Tasking Restrictions

Section D7 is fully supported, and includes new restrictions.

D8. Monotonic Time

Section D8 is fully supported.

D9. Delay Accuracy

Section D9 is fully supported.

D10. Synchronous Task Control

Section D10 is fully supported.

D11. Asynchronous Task Control

The features of Section D11 are supported by default and may be prohibited by the use of appropriate restrictions or profiles.

D12. Other Optimizations

The requirements of Section 12 are met. The requested metrics are as follows: time for a call of Set = 120 clock cycles, time for a call of Read = 130 clock cycles.