Precise response time analysis for Ravenscar kernels

IRTAW 2002 - Proceedings of the 11th International Real-Time Ada Workshop

Volumn , Issue , 2002, Pages 53-57

  Zamorano, Juan ^a   De La Puente, Juan Antonio ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

RAVENSCAR; RESPONSE-TIME ANALYSIS; SCHEDULABILITY ANALYSIS; TIMING ANALYSIS;

ADA (PROGRAMMING LANGUAGE);

EID: 85027866498     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/584418.584425     Document Type: Conference Paper

References (15)

1. Ada Core Technologies. GNAT Reference Manual. Version 3.13, March 2000.
2. Ada 95 Reference Manual: Language and Standard Libraries. International Standard ANSI/ISO/IEC-8652:1995, 1995. Available from Springer-Verlag, LNCS no. 1246.
3. L. Asplund, B. Johnson, and K. Lundqvist. Session summary: The Ravenscar profile and implementation issues. Ada Letters, XIX(25):12-14, 1999. Proceedings of the 9th International Real-Time Ada Workshop.
4. T. Baker and T. Vardanega. Session summary: Tasking profiles. Ada Letters, XVII(5):5-7, 1997. Proceedings of the 8th International Ada Real-Time Workshop.
5. A. Burns. The Ravenscar profile. Technical report, University of York, 2000. Available at www.cs.york.ac.uk/~burns/ravenscar.ps.
6. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, 3 edition, 2001.
7. J. A. de la Puente, J. F. Ruiz, and J. Zamorano. An open Ravenscar real-time kernel for GNAT. In H. B. Keller and E. Ploedereder, editors, Reliable Software Technologies - Ada-Europe 2000, number 1845 in LNCS, pages 5-15. Springer-Verlag, 2000.
8. J. A. de la Puente, J. F. Ruiz, J. Zamorano, R. García, and R. Fernández-Marina. ORK: An open source real-time kernel for on-board software systems. In DASIA 2000 - Data Systems in Aerospace, Montreal, Canada, May 2000.
9. B. Dobbing and G. Romanski. The Ravenscar profile: Experience report. Ada Letters, XIX(2):28-32, 1999. Proceedings of the 9th International Real-Time Ada Workshop.
10. INTEL. i486 User's Manual. Intel, 1989.
11. ISO/IEC/JTC1/SC22/WG9. Guide for the use of the Ada Programming Language in High Integrity Systems, 2000. ISO/IEC TR 15942:2000.
12. TEMIC. SPARC V7 Instruction Set Manual, 1996.
13. T. Vardanega. Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency, 1999.
14. A. Wellings. 10th International Real-Time Ada Workshop - Session summary: Status and future of the Ravenscar profile. Ada Letters, XXI(1), March 2001.
15. J. Zamorano, J. F. Ruiz, and J. A. de la Puente. Implementing Ada.Real-Time.Clock and absolute delays in real-time kernels. In A. Strohmeier and D. Craeynest, editors, Reliable Software Technologies - Ada-Europe 2001, number 2043 in LNCS, pages 317-327. Springer-Verlag, 2001.