On the dynamic semantics and the timing behavior of Ravenscar kernels

Real-Time Systems

Volumn 29, Issue 1, 2005, Pages 59-89

  Vardanega, Tullio ^a   Zamorano, Juan ^b   De La Puente, Juan Antonio ^b  

^a UNIVERSITY OF PADOVA   (Italy)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Concurrent programming; Ravenscar profile; Real time systems; Response time analysis; Static timing analysis; Tasking restrictions

Indexed keywords

COMPUTER ARCHITECTURE; CONCURRENCY CONTROL; LINEAR PROGRAMMING; PROBLEM SOLVING; RESPONSE TIME (COMPUTER SYSTEMS); SCHEDULING; SEMANTICS;

CONCURRENT PROGRAMMING; RAVENSCAR KERNELS; RESPONSE TIME ANALYSIS; STATIC TIMING ANALYSIS; TASKING RESTRICTIONS;

REAL TIME SYSTEMS;

EID: 10444223069     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:TIME.0000048937.17571.2b     Document Type: Article

References (37)

1. Ada 95.2000. Consolidated Ada Reference Manual, International Standard ISO/IEC-8652:1995(E) with Technical Corrigendum 1. Springer-Verlag, LNCS 2219.
2. Ada Core Technologies. 2000. GNAT Reference Manual. Version 3.13. Ada Core Technologies.
3. ATMEL. 2003. TSC695F SPARC single chip processor - User Manual, http://www.atmel.com (search = "ERC32").
4. Audsley, N., Burns, A., Davis R., Tindell, K. and Wellings, A. J. 1995. Fixed priority preemptive scheduling: an historical perspective. Real-Time Systems 8(3): 173-198.
5. Bailey, C., Fyfe, E., Vardanega, T., and Wellings, A. 1993. The use of preemptive priority-based scheduling for space applications. In Proceedings of the Real-Time Systems Symposium, Vol. 14. Raleigh-Durham, NC (USA), pp. 253-257, IEEE.
6. Baker, T., and Vardanega, T. 1997. Session summary: tasking profiles. In Proceedings of the 8th International Ada Real-Time Workshop. Ada LettersVol XVII(5): 5-7.
7. Barnes, J. 1998. Programming in Ada 95. 2nd edn. Addison-Wesley Publishing Co. ISBN: 0201342936.
8. Burns, A. 1991. Scheduling hard real-time systems: a review. Software Engineering Journal 6(3): 116-128.
9. Burns, A. 1994. Preemptive priority based scheduling: an appropriate engineering approach. In S. Son (ed.), Advances in Real-Time Systems. Prentice-Hall.
10. Burns, A. 1999. The Ravenscar Profile. Ada Letters XIX(4): 49-52.
11. Burns, A., Dobbing, B., and Romanski, G. 1998. The Ravenscar Profile for high integrity real-time programs. In L. Asplund (ed.). Reliable Software Technologies - Ada-Europe'98. Springer-Verlag.
12. Burns, A., Dobbing, B., and Vardanega, T. 2003. Guide to the use of the Ada Ravenscar Profile in high integrity systems. Technical Report YCS-2003-348, University of York (UK). http://www.cs.york.ac.uk/ftpdir/reports/YCS-2003-348.pdf.
13. Burns, A., and Wellings, A. J. 2001. Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley.
14. Cornhill, D., and Sha, L. 1987. Priority inversion in Ada or what should be the priority of an Ada server task?. Ada Letters 7(7).
15. de la Puente, J., Ruiz, J., and Zamorano, J. 2000a. An open Ravenscar real-time kernel for GNAT. In H. B. Keller and E. Ploedereder (eds.), Reliable Software Technologies - Ada-Europe 2000 Springer-Verlag, pp. 5-15.
16. de la Puente, J., Ruiz, J., Zamorano, J., García, R., and Fernández-Marina, R. 2000b. ORK: An open source real-time kernel for on-board software systems. In DASIA 2000 - Data Systems in Aerospace. Montreal, Canada.
17. Dijkstra, E. 1975. Guarded commands, nondeterminacy and formal derivation of programs. CACM 18(8): 453-457.
18. Dobbing, B., and Romanski, G. 1999. The Ravenscar Profile: experience report. In Proceedings of the 9th International Real-Time Ada Workshop. Ada Letters XIX(2): 28-32.
19. Gaisler Research. 2003. The TSIM home page. http://www.gailser.com → TSIM.
20. Goodenough, J., and Sha, L. 1988. The priority ceiling protocol: a method for minimizing the blocking of high priority Ada Tasks. Technical Report SEI-SSR-4, Software Engineering Institute, Pittsburgh, Pennsylvania.
21. INTEL. 1989. i486 User's Manual. Intel.
22. Joseph, M., and Pandya, P. 1986. Finding response times in real-time systems. BCS Computer Journal 29(5): 390-395.
23. Klein, M. H., Ralya, T., Pollack, B., Obenza, R., and González-Harbour, M. 1993. A Practitioner's Handbook for Real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems. Boston: Kluwer Academic Publishers.
24. Liu, C., and Layland, J. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1).
25. Liu, J. W. S. 2000. Real-Time Systems. Prentice-Hall.
26. Locke, C. D. 1992. Software architectures for hard real-time applications: cyclic executives vs. fixed priority executives. Real-Time Systems 4(1): 37-53.
27. Locke, C. D., Sha, L., Rajkumar, R., Lehoczky, J., and Burns, G. 1988. Priority inversion and its control: an experimental investigation. In Proceedings of the International Workshop on Real-Time Ada Issues, ACM SIGAda. Ada Letters VIII(7).
28. On-Line Applications Research. 2003. The on-line applications research RTEMS home page. http://www.oarcorp.com/RTEMS/rtems.html.
29. Puschner, P., and Burns, A. 2000. A review of worst-case execution time analysis. Real-Time Systems 18(2/3): 115-128.
30. RTCA: 1992, Software considerations in airborne systems and equipment ceritication. Requirements and Technical Concepts for Aviation. RTCA SC167/DO-178B. Issued in Europe as EUROCAE document ED-12B.
31. Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Tr. on Computers 39(9): 1175-1185.
32. TEMIC. 1996. SPARC V7 Instruction Set Manual. TEMIC.
33. Vardanega, T. 1999. Development of on-board embedded real-time systems: an engineering approach. Technical Report ESA STR-260, European Space Agency. ISBN 90-9092-334-2.
34. Vardanega, T., and Caspersen G. 2001. Using the Ravenscar Profile for Space Applications: The OBOSS case. In M. González-Harbour (ed.), Proceedings of the International Workshop on Real-Time Ada Issues. Ada Letters, XXI:96-104.
35. Wellings, A. 2001. 10th International Real-Time Ada Workshop - Session Summary: Status and Future of the Ravenscar Profile. Ada Letters XXI(1).
36. Zamorano, J., and de la Puente, J. 2002. Precise Response Time Analysis for Ravenscar Kernels. In J. Tokar (ed.), Proceedings of the International Workshop on Real-Time Ada Issues, Ada Letters XXII.
37. Zamorano, J., Ruiz, J., and de la Puente, J. 2001. Implementing Ada.Real Time.Clock and absolute delays in real-time kernels. In A. Strohmeier and D. Craeynest (eds.): Reliable Software Technologies - Ada-Europe 2001. Springer-Verlag, pp. 317-327.