The Ravenscar tasking profile for high integrity real-time programs
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.
KeywordsRuntime System Schedulability Analyser Protected Object Concurrency Model Formal Certification
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 2.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.Google Scholar
- 3.A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995.Google Scholar
- 4.A. Burns and A. J. Wellings. Safety kernels: Specification and implementation. High Integrity Systems, 1(3):287–300, 1995.Google Scholar
- 5.A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 2nd edition, 1996.Google Scholar
- 6.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.Google Scholar
- 8.Software Considerations in Airborne Systems and Equipment Certification DO-178B/ED-12B. RTCA, December 1992.Google Scholar
- 9.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.Google Scholar
- 10.D.I. Katcher, H. Arakawa, and J.K. Strosnider. Engineering and analysis of fixed priority schedulers. IEEE Trans. Softw. Eng., 19, 1993.Google Scholar
- 11.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.Google Scholar