TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications
A. Burns, A.J. Wellings and A.H. Malik
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.
Download Not Available
BibTex Entry
@inproceedings{Burns2013,
author = {A. Burns and A.J. Wellings and A.H. Malik},
booktitle = {Proceeding of the 15th IRTAW},
month = {April},
number = {1},
pages = {15--23},
publisher = {ACM},
title = {TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications},
volume = {XXXII},
year = {2013}
}