TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Although the Ravenscar profile of Ada has achieved a measure of success in the development of high-integrity system, it is often criticised for not having enough expressive power to deal with common real-time programming patterns. This has led to a call for more facilities to be added to the profile. These have been turned down by the Ada standardization body for fear of "feature creep" and the lack of clear and consistent motivation. This paper proposes a coherent profile to support the construction of fault-tolerant high-integrity real-time programs.
Original languageUndefined/Unknown
Title of host publicationProceeding of the 15th IRTAW
Number of pages9
Publication statusPublished - 1 Apr 2013

Cite this