By the same authors

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

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

Author(s)

Department/unit(s)

Publication details

Title of host publicationProceeding of the 15th IRTAW
DatePublished - 1 Apr 2013
Pages15-23
Number of pages9
PublisherACM
VolumeXXXII
Original languageUndefined/Unknown

Abstract

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations