ACM SIGAda Ada Letters
Priority inversion and its control: An experimental investigation
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Scheduling hard real-time systems: a review
Software Engineering Journal - Special issue on real-time software
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Fixed priority pre-emptive scheduling: an historical perspective
Real-Time Systems - Special issue: history of real-time systems
Preemptive priority-based scheduling: an appropriate engineering approach
Advances in real-time systems
Programming in Ada95
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
The Ravenscar Tasking Profile—experience reporting
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
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Status and future of the Ravenscar profile session summary
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Using the Ravenscar profile for space applications: the OBOSS case
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Real-Time Systems
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
Precise response time analysis for Ravenscar kernels
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
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
Ravenscar design patterns?: reflections on use of the Ravenscar profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Operational Semantics of Ada Ravenscar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Requirements on the Target Programming Language for High-Integrity MDE
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
A UML2 profile for reusable and verifiable software components for real-time applications
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Hi-index | 0.00 |
Mature research advances in scheduling theory show that carefully-crafted concurrent computational models permit static analysis of real-time behavior. This evidence enables designers to consider using suitable forms of explicit concurrency to model the inherent concurrency of real-time systems. The Ravenscar Profile, a specifically tailored subset of the Ada 95 tasking model, defines a compact and efficient concurrent computational model, especially suited for the development of high integrity, high efficiency real-time systems.Ravenscar runtimes can be implemented by small, efficient, reliable and certifiable kernels. At least two such implementations already exist and are being industrially deployed. The simplicity and intrinsic determinism of Ravenscar kernels facilitate the definition of metrics that cater for very accurate characterization of the dynamic behavior of the runtime and of the execution time of its primitives. Accurate runtime metrics enable forms of response time analysis that minimize the pessimism in the prediction of the runtime influence on the application. This is especially useful for concurrent systems that exhibit significant dependency on runtime support services. This paper recalls the motivations of the Ravenscar Profile, outlines the definition of it and formulates a precise characterisation of the associated runtime metrics.