The ESA ravenscar benchmark

  • Authors:
  • Romain Berrendonner;Jérôme Guitton

  • Affiliations:
  • AdaCore, Paris, France;AdaCore, Paris, France

  • Venue:
  • Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.