User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Using Ravenscar to support fault-tolerant real-time applications
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Precise response time analysis for Ravenscar kernels
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Transparent Environment for Replicated Ravenscar Applications
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Using Object Orientation in High Integrity Applications: A Case Study
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Adding temporal annotations and associated verification to the Ravenscar profile
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |
The session was chaired by Alan Burns who indicated that there had been several position papers received addressing various aspects of the Ravenscar Profile (RP). Based on the material presented in these papers, he suggested that the session consider the following topics:• Implementation and Application Experiences• Completing the Definition• Extending the ModelThe goal of the first topic was mainly to receive general feedback from the implementation teams and application programmers. These had resulted in several issues being raised. The RP only addresses issues relating to tasking; it is silent on all other aspects of the Ada language. However, some had felt that for a Ravenscar implementation to be effective, there were other restrictions that were necessary. These issues are reported under the second topic. Finally, there are many tasking profiles that could be defined. However, there had been no position papers making proposals for new subsets. Instead, papers had identified extensions to the RP that would give more expressive power but at little extra cost. These were discussed under the third topic. Issues to do with extending the RP for Distributed Systems were not considered in this session.