Implementing a High-Integrity Executive using Ravenscar
N. C. Audsley, A. Burns and A. J. Wellings
This paper discusses the use of the Ravenscar profile for the implementation of an APEX-compliant high-integrity executive. The lack of dynamic priorities and single item queues causes some implementation problems.
Download Not Available
BibTex Entry
@inproceedings{Audsley2001b,
author = {N. C. Audsley and A. Burns and A. J. Wellings},
booktitle = {Proceedings of IRTAW10, Ada Letters, Vol XX1(1)},
category = {os, languages},
pages = {40-45},
title = {Implementing a High-Integrity Executive using {Ravenscar}},
year = {2001}
}