Abstract
The Ravenscar profile defines a simple subset of the tasking features of Ada in order to support efficient, high integrity applications that need to be analysed for their timing properties. This paper describes the Profile and gives the motivations for the features it does (and does not) include. An implementation of the profile is then described in terms of development practice and requirements, run-time characteristics, certification, size, testing and scheduling analysis. Support tools are discussed as are the means by which the timing characteristics of the run-time can be obtained. The important issue of enforcing the restrictions imposed by the Ravenscar profile is also addressed.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
T. Baker and T. Vardanega. Session summary: Tasking profiles. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 5–7. ACM Ada Letters, 1997.
A. Burns and A.J. Welling. Restricted tasking models. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 27–32. ACM Ada Letters, 1997.
A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995.
A. Burns and A. J. Wellings. Safety kernels: Specification and implementation. High Integrity Systems, 1(3):287–300, 1995.
A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 2nd edition, 1996.
A. Burns and A.J. Wellings. Ada 95: An effective concurrent programming language. In Alfred Strohmeier, editor, Proceedings of Reliable Software Technologies — Ada-Europe '96, pages 58–77. Springer-Verlag Lecture Notes in Computer Science, Vol 1088, 1996.
R. Chapman, A. Burns, and A.J. Wellings. Combining static worst-case timing analysis and program proof. Real-Time Systems, 11(2):145–171, September 1996.
Software Considerations in Airborne Systems and Equipment Certification DO-178B/ED-12B. RTCA, December 1992.
B. Dobbing and M. Richard-Foy. T-SMART — task-safe, minimal Ada realtime toolset. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 45–50. ACM Ada Letters, 1997.
D.I. Katcher, H. Arakawa, and J.K. Strosnider. Engineering and analysis of fixed priority schedulers. IEEE Trans. Softw. Eng., 19, 1993.
M. H. Klein, T. A. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner's Handbook for Real-Time Analysis: A Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burns, A., Dobbing, B., Romanski, G. (1998). The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055011
Download citation
DOI: https://doi.org/10.1007/BFb0055011
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive