Ravenscar profile
In-game article clicks load inline without leaving the challenge.
The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time computing. It was defined by a separate technical report in Ada 95; it is now part of the Ada 2012 Standard. It has been named after the English village of Ravenscar, the location of the 8th International Real-Time Ada Workshop (IRTAW 8).
Restrictions of the profile
A Ravenscar Ada application uses the following compiler directive:
This is the same as writing the following set of configuration pragmas:
See also
- Ada (programming language)
- High-integrity software
- SPARK (programming language)
- From "Ada Reference Manual (Ada 2022"): ()
- Alan Burns (December 1999). (PDF). ACM SIGAda Ada Letters. XIX (4): 49–52. doi:. S2CID.
- Alan Burns, Brian Dobbing and Tullio Vardanega (June 2004). (PDF). ACM SIGAda Ada Letters. XXIV (2): 1–74. doi:. S2CID.
- (Technical report). ISO/WG9 Ada Rapporteur Group. AI95-00249.