| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Chapter 3. Language-Related Issues | Next |
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.
Section D1 is fully supported with subtype Priority having a range from 0 .. 127, and subtype Interrupt_Priority having a range from 128 .. 255.
Section D2 is fully supported with the task dispatching policy FIFO_Within_Priorities.
Section D3 is fully supported with Ceiling_Locking.
For protected types, section D4 is restricted so that the maximum queue length is one.
The features of Section D5 are supported by default and may be prohibited by the use of appropriate restrictions or profiles.
The features of Section D6 are prohibited.
Section D7 is fully supported, and includes new restrictions.
Section D8 is fully supported.
Section D9 is fully supported.
Section D10 is fully supported.
The features of Section D11 are supported by default and may be prohibited by the use of appropriate restrictions or profiles.
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.