The main work performed in the domain of schedulability analysis is related to the Ravenscar profile.
The Ravenscar profile is a subset of the Ada tasking features suited for use in high-integrity, efficient real-time systems. Benefits of this tasking model are reduced size, faster execution and deterministic behaviour of the runtime system. Work is ongoing to standardise the profile under the auspices of ISO. Further information can be found in ‘The Ravenscar Profile’ (an outline of the profile), ‘The Ravenscar Tasking Profile for High Integrity Real-Time Programs’ (an article on the profile and its implementation) and the ISO working draft (a pre-final version of the ISO technical report ‘Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems’ where the Ravenscar profile is being incorporated).
ESA/ESTEC have supported the definition of the profile and specifically invested in the development of two Ada Ravenscar products for ERC32:
The ESA Ravenscar Benchmark (ERB) is a compiler test suite to evaluate efficiency (size and performance) of available compiler systems and kernels for ERC32 and Leon, and of different language constructs, kernel functions, and library implementations.
Schedulability Analysis with cache
The presence of a cache in the processor generates some non-determinism about the execution time. Disabling the cache causes the processor to under-perform drastically and is not acceptable. The WCET estimation, the scheduling policy and the cache policy need to be analysed. This matter is the subject of a current study with Tidorum, Rapita and Alcatel. The German tool vendor AbsInt also has some experience in this domain.
Last update: 21 March 2007