The ravenscar tasking profile for high integrity real-time programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1411, Issue , 1998, Pages 263-275

  Burns, A ^a   Dobbing, B ^b   Romanski, G ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b Aonix   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEVELOPMENT PRACTICES; RAVENSCAR; RAVENSCAR TASKING; REAL TIME PROGRAMS; SCHEDULING ANALYSIS; SUPPORT TOOL; TIMING CHARACTERISTICS; TIMING PROPERTIES;

ADA (PROGRAMMING LANGUAGE);

EID: 33747127291     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055011     Document Type: Conference Paper

References (11)

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.
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.
3. A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995.
4. A. Burns and A. J. Wellings. Safety kernels: Specification and implementation. High Integrity Systems, 1(3):287-300, 1995.
5. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages:. Addison Wesley, 2nd edition, 1996.
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.
7. 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.
8. Software Considerations in Airborne Systems and Equipment Certification DO-178B/ED-12B. RTCA, December 1992.
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.
10. D.I. Katcher, H. Arakawa, and J.K. Strosnider. Engineering and analysis of fixed priority schedulers. IEEE Trans. Softw. Eng., 19, 1993.
11. M. H. Klein, T. A. Ralya, B. Poliak, 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.