A real-time framework for Ada 2005 and the Ravenscar profile

Conference Proceedings of the EUROMICRO

Volumn , Issue , 2009, Pages 515-522

  Gregertsen, Kristoffer Nyborg ^a   Skavhaug, Amund ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ADA 2005; OBJECT ORIENTED; RAVENSCAR; REAL-TIME FEATURES; TEST RESULTS;

COMPUTER SOFTWARE;

ADA (PROGRAMMING LANGUAGE);

EID: 74749088354     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAA.2009.40     Document Type: Conference Paper

References (14)

1. ISO/IEC, Ada Reference Manual - ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1. [Online]. Available: http: //www.adaic.com/standards/05rm/html/RM-TOC.html
2. A. Burns, "The Ravenscar profile," Ada Lett., vol. XIX, no. 4, pp. 49-52, 1999.
3. C. L. Liu and J.W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," J. ACM, vol. 20, no. 1, pp. 46-61, 1973.
4. R. Wilhelm et al., "The worst-case execution-time problem - overview of methods and survey of tools," Trans. on Embedded Computing Sys., vol. 7, no. 3, pp. 1-53, 2008.
5. J. A. de la Puente and J. Zamorano, "Execution-time clocks and Ravenscar kernels," Ada Lett., vol. XXIII, no. 4, pp. 82-86, 2003.
6. A. Wellings and A. Burns, Ada-Europe 2007. Springer Berlin / Heidelberg, 2007, ch. Real-Time Utilities for Ada 2005, pp. 1-14.
7. Atmel Corporation, AVR32 - Architecture Document.
8. -, AT32UC3A Series - Preliminary Datasheet.
9. J. F. Ruiz, "GNAT pro for on-board misson-critical space applications," Ada-Europe, 2005.
10. K. N. Gregertsen and A. Skavhaug, "An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR32 UC3 microcontroller," in Proc. DATE'09, April 2009, IP5-7.
11. "Implementing the new Ada 2005 timing event and execution-time control features on the AVR32 architecture," February 2009, submitted to Journal of Systems Architecture.
12. A. Burns, B. Dobbing, and T. Vardanega, "Guide for the use of the Ada Ravenscar profile in high integrity systems," Ada Lett., vol. XXIV, no. 2, pp. 1-74, 2004.
13. Atmel Corporation, ATmega169p Preliminary.
14. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery, Numerical recepies in C++. Cambridge University Press, 2002.