Execution-time clocks and Ravenscar kernels

Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03

Volumn , Issue , 2003, Pages 82-86

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

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

HANDLING CAPABILITY; PROGRAMMING PATTERNS; RAVENSCAR; TIME DOMAIN;

REAL TIME SYSTEMS;

EID: 77953895878     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/959222.959237     Document Type: Conference Paper

References (23)

1. Ada 95 Reference Manual: Language and Standard Libraries. International Standard ANSI/ISO/IEC-8652:1995, 1995. Available from Springer-Verlag, LNCS no. 1246.
2. M. Aldea and M. G. Harbour. Extending Ada's real-time systems annex with the POSIX scheduling services. Ada Letters, XXI(1):20-26, March 2001. Proceedings of the 10th International Real-Time Ada Workshop, Las Navas, Á vila, Spain, September 200.
3. M. Aldea and M. G. Harbour. MaRTE OS: An Ada kernel for real-time embedded applications. In A. Strohmeier and D. Craeynest, editors, Reliable Software Technologies - Ada-Europe 2001, number 2043 in LNCS, pages 305-316. Springer-Verlag, 2001.
4. A. Alonso and J. A. de la Puente. Implementing mode changes and fault recovery for hard real-time systems in ada. In L. Boullart and J. A. de la Puente, editors, Real-Time Programming 1992. Proceedings of the IFAC/IFIP Workshop. Pergamon Press, 1992.
5. A. Alonso and J. A. de la Puente. Dynamic replacement of software in hard real-time systems. In 5th Euromicro Workshop on Real-Time Systems. IEEE Computer Society Press, 1993. ISBN 0-8186-4110-X.
6. 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.
7. T. Baker and A. Shaw. The cyclic executive model and Ada. Real-Time Systems, 1(1), 1989.
8. 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.
9. A. Burns. The Ravenscar profile. Ada Letters, XIX(4):49-52, 1999.
10. A. Burns and B. Brosgol. Session summary: Future of the Ada language and language changes such as the Ravenscar profile. Ada Letters, XXII(4), December 2002. Proceedings of the 11th International Real-Time Ada Workshop.
11. A. Burns, B. Dobbing, and T. Vardanega. Guide for the use of the Ada Ravenscar profile in high integrity systems. Technical Report YCS-2003-348, University of York, 2003.
12. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, 3 edition, 2001.
13. 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.
14. J. A. de la Puente, J. Zamorano, A. Alonso, and J. L. Fernández. Reusable executives for hard real-time systems in Ada. In J. van Katwijk, editor, Ada: Moving Towards 2000. Proceedings of the Ada-Europe Conference. Springer-Verlag, 1992.
15. J. A. de la Puente, J. Zamorano, J. F. Ruiz, R. Fernández, and R. García. The design and implementation of the Open Ravenscar Kernel. Ada Letters, XXI(1), 2001.
16. M. González-Harbour , M. Aldea, J. Gutiérrez, and J. C. Palencia. Implementing and using execution time clocks in Ada hard real-time applications. In L. Asplund, editor, Reliable Software Technologies - Ada-Europe'98, number 1411 in LNCS, pages 90-101. Springer-Verlag, 1998.
17. ISO/IEC/JTC1/SC22/WG9. Guide for the use of the Ada Programming Language in High Integrity Systems, 2000. ISO/IEC TR 15942:2000.
18. C. D. Locke. Software architectures for hard real-time applications: Cyclic executives vs. fixed priority executives. Real-Time Systems, 4(1):37-53, 1992.
19. J. Miranda and M. G. Harbour. A proposal to integrate the POSIX execution-time clocks into Ada 95. In J.-P. Rosen and A. Strohmeier, editors, Reliable Software Technologies - Ada-Europe 2003, number 2655 in LNCS. Springer- Verlag, 2003.
20. P. Puschner and A. Burns. A review of worst-case execution time analysis. Real-Time Systems, 18(2/3):115-128, May 2000.
21. T. Vardanega. Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency, 1999. ISBN 90-9092-334-2.
22. A. Wellings. 10th International Real-Time Ada Workshop - Session summary: Status and future of the Ravenscar profile. Ada Letters, XXI(1), March 2001.
23. J. Zamorano, A. Alonso, and J. A. de la Puente. Building safety critical real-time systems with reusable cyclic executives. Control Engineering Practice, 5(7), July 1997.