The Ravenscar Profile and implementation issues (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
The Ravenscar Tasking Profile—experience reporting
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Status and future of the Ravenscar profile session summary
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
An Open Ravenscar Real-Time Kernel for GNAT
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
Session on real-time, fault tolerance, and distribution
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
GNAT pro for on-board mission-critical space applications
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
The Ravenscar Profile defines a subset of the Ada95 tasking constructs which can be implemented using a small, reliable kernel. One of the benefits of this approach is to improve the timing analysis because non-deterministic and non-analyzable features are excluded. But to perform a precise schedulability analysis of a Ravenscar compliant application, the kernel overheads must be taken into account. Therefore, a set of metrics and documentation requirements has to be defined in order to model the kernel influence in response time analysis. In this paper the main components of the response time of periodic and sporadic tasks running on a Ravenscar kernel are identified, and the set of kernel metrics which are required to perform a precise timing analysis is identified.