The ESA Ravenscar Benchmark

This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original compared to existing Ada benchmarks because it is the first Ada Ravenscar benchmark and because it provides at the same time estimates of execution time, memory footprint of the Ada runtime, and stack size requirements. ERB intends to become a reference benchmark for ERC32 Ada Ravenscar applications. To facilitate this, the European Space Agency and AdaCore plan to release it under the GNU GPL.