Abstract
We describe an on-going effort to identify a set of enhancements to the Ravenscar profile, intended primarily for applications in the real-time systems domain, but perhaps also applicable to the other domains supported by Ravenscar as currently defined. In addition to the technical issues we also include matters of cost, leading to the question of whether a new profile is appropriate.
Index Terms
(auto-classified)Toward Extensions to the Ravenscar Profile
Recommendations
A practical approach for the porting of the Ravenscar profile from ADA to C: method, rules adaptation and supporting tools
While conceiving with hard real time systems, determinism is the main requirement that must be satisfied in order to properly predict their behaviour as required by their definition. For achieving this purpose an available solution is restricting Ada ...
The Ravenscar Tasking Profile—experience reporting
The Ravenscar Profile was defined at the 18th International Real-Time Ada Workshop as a simple subset of the tasking features of Ada, in order to support efficient, high integrity applications that need to be analysed for their timing properties. Ada ...
ORK+/XtratuM: an open partitioning platform for Ada
Ada-Europe'11: Proceedings of the 16th Ada-Europe international conference on Reliable software technologiesThe ARINC 653 standard defines an Integrated Modular Avionics (IMA) architecture for building complex systems consisting of several real-time applications with different levels of criticality running in the same hardware platform. Applications execute ...






Comments