The Ravenscar Profile and implementation issues (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
ACM SIGAda Ada Letters
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis
Real-Time Systems - Special issue on worst-case execution-time analysis
Status and future of the Ravenscar profile session summary
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Extending Ada's real-time systems annex with the POSIX scheduling services
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
The design and implementation of the open Ravenscar kernel
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Session summary: future of the Ada language and language changes such as the Ravenscar profile
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Reusable Executives for Hard Real-Time Systems in Ada
Proceedings of the 11th Ada-Europe International Conference on Ada: Moving Towards 2000
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
An Open Ravenscar Real-Time Kernel for GNAT
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
A proposal to integrate the POSIX execution-time clocks into Ada 95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Session: status and future of the Ravenscar profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Ada 2005 code patterns for metamodel-based code generation
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Handling temporal faults in Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Measuring and policing blocking times in real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Journal of Systems Architecture: the EUROMICRO Journal
Non-intrusive system level fault-tolerance
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
An extended ravenscar profile for execution time control
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
The kind of high-integrity real-time systems to which the Ada Ravenscar profile is targeted often require overrun detection for enhanced reliability in the time domain Execution-time clocks and timers have been proposed to fulfill this need, but only programming patterns based on asynchronous transfer of control, and thus incompatible with the profile, have been provided up to now. In this paper an assessment of the compatibility of the proposed execution-time mechanisms with the Ravenscar profile is made, and some programming patters for using them are proposed. The patterns are intended to provide basic overrun detection and handling capabilities to high-integrity real-time systems.