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.
- S. Baruah and A. Burns. Sustainable Scheduling Analysis. In Proceedings of the 27th IEEE Real-Time Systems Symposium, pages 159--168, 2006. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- A. Burns, B. Dobbing, and G. Romanski. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Reliable Software Technologies -- Ada Europe, 1998. Google Scholar
Digital Library
- A. Burns and A. J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.Google Scholar
- A. Burns and A. J.Wellings. Programming Execution-Time Servers in Ada 2005. In Proc. of the 27th IEEE Real-Time Systems Symposium, 2006. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- M. Joseph and P. K. Pandya. Finding Response Times in a Real-Time System. The Computer Journal, 29(5):390--395, 1986.Google Scholar
- J. A. Pulido. Arquitectura de Software para Sistemas de Tiempo Real Particionados. PhD thesis, Universidad Politécnica de Madrid, July 2007.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- B. Sprunt. Aperiodic Task Scheduling for Real-Time Systems. In Ph.D. Dissertation, Dept. of Electrical and Computer Engineering, Carnegie Mellon University, 1990. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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. Google Scholar
Digital Library
Recommendations
A Real-Time Framework for Ada 2005 and the Ravenscar Profile
SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsThis paper describes an object-oriented real-time framework for Ada 2005 and the Ravenscar profile. The framework uses the Ada 2005 real-time features implemented on the AVR32 UC3 microcontroller series to control the execution-time of tasks and ...
IP Network Stack in Ada 2012 and the Ravenscar Profile
This article presents Ada Embedded Network, a small network stack intended to be used by small embedded Ada applications running on ARM. It implements the standard ARP, IPv4, UDP, DNS and DHCP protocols on top of an Ethernet driver. Its memory efficient ...
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch
Ada-Europe '99: Proceedings of the 1999 Ada-Europe International Conference on Reliable Software TechnologiesThe Top Layer Networks AppSwitch™ is a coordinated hardware and software Layer 7-application switch designed to provide Application Control for data communication networks by automatically prioritizing network traffic according to the user and the ...






Comments