Temporal isolation with the ravenscar profile and Ada 2005

Abstract

Modern methodologies for the development of high-integrity real-time systems build on abstract representations or models instead of code artifacts. Since analysis techniques are applied to models, it is important that system properties asserted during the analysis and the assumptions made for the analysis to hold are preserved across implementation and execution. In this paper we contend that the extent of properties preservation we require cannot be warranted using exclusively the language constructs allowed by the Ravenscar Profile. Hence, in the light of the new Ada 2005 features, we propose the formalization of a new augmented profile, fit for the purpose and yet still adhering to the pristine Ravenscar rationale.

References

1. S. Baruah and A. Burns. Sustainable Scheduling Analysis. In Proceedings of the 27th IEEE Real-Time Systems Symposium, pages 159--168, 2006.
2. M. Bordin and T. Vardanega. Automated Model-Based Generation of Ravenscar-Compliant Source Code. In Proc. of the 17th Euromicro Conference on Real-Time Systems, 2005.
3. A. Burns, B. Dobbing, and G. Romanski. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Reliable Software Technologies -- Ada Europe, 1998.
4. A. Burns and A. J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.
5. A. Burns and A. J.Wellings. Programming Execution-Time Servers in Ada 2005. In Proc. of the 27th IEEE Real-Time Systems Symposium, 2006.
6. R. I. Davis and A. Burns. Hierarchical Fixed Priority Pre-emptive Scheduling. In Proc. of the 26th IEEE Real-Time Systems Symposium, pages 389--398, 2005.
7. O. M. dos Santos and A. J. Wellings. Blocking Time Monitoring in the Real-Time Specification for Java. In The 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, pages 135--143, 2008.
8. M. González Harbour and J. C. Palencia. Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities. In Proc. of the 24th IEEE Real-Time Systems Symposium, pages 200--209, 2003.
9. ISO SC22/WG9. Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1, 2005.
10. M. Joseph and P. K. Pandya. Finding Response Times in a Real-Time System. The Computer Journal, 29(5):390--395, 1986.
11. J. A. Pulido. Arquitectura de Software para Sistemas de Tiempo Real Particionados. PhD thesis, Universidad Politécnica de Madrid, July 2007.
12. J. A. Pulido, J. A. de la Puente, J. Hugues, M. Bordin, and T. Vardanega. Ada 2005 Code Patterns for Metamodel-based Code Generation. Ada Letters, XXVII(2), 2007.
13. J. A. Pulido, S. Urueña, J. Zamorano, T. Vardanega, and J. A. de la Puente. Hierarchical Scheduling with Ada 2005. In Reliable Software Technologies -- Ada-Europe, 2006.
14. L. Sha, J. P. Lehoczky, and R. Rajkumar. Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. In Proc. of the 7th IEEE Real-Time Systems Symposium, pages 181--191, 1986.
15. B. Sprunt. Aperiodic Task Scheduling for Real-Time Systems. In Ph.D. Dissertation, Dept. of Electrical and Computer Engineering, Carnegie Mellon University, 1990.
16. J. K. Strosnider, J. P. Lehoczky, and L. Sha. The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. IEEE Transactions on Computers, 44(1):73--91, 1995.
17. J. Zamorano, A. Alonso, J. A. Pulido, and J. A. de la Puente. Implementing Execution-Time Clocks for the Ada Ravenscar Profile. In Reliable Software Technologies - Ada-Europe, pages 132--143, 2004.
18. J. Zamorano, J. F. Ruiz, and J. A. de la Puente. Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels. In Reliable Software Technologies - Ada-Europe, pages 317--327, 2001.