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.
This work has been funded by ESA/ESTEC contract No. 16962/02/NL/LvH/bj and carried out in cooperation between AdaCore, the Technical University of Madrid and the University of Padua.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ada Core Technologies. GNAT User’s guide, 5.02a1 edn., http://www.adacore.com/
de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 5–15. Springer, Heidelberg (2000), http://wwww.dit.upm.es/ork/
Chen, G., et al.: Pennbench: A benchmark suite for embedded java. In: 5th Workshop on Workload Characterization (WWC5) (2002), http://www.cse.psu.edu/~gchen/papers/wwc5.pdf
Guthaus, M.R., Ringenberg, J.S., Austin, D.E.T.M., Mudge, T., Brown, R.B.: Mibench: A free, commercially representative embedded benchmark suite. In: IEEE 4th Annual Workshop on Workload Characterization (2001), http://www.eecs.umich.edu/mibench
High Order Language Control Facility USAF. Ada Compiler Evaluation system Reader’s Guide for Version 2.1 (February 1996), http://www.adaic.org/compilers/aces/aces-intro.html
EEMBC Certification Laboratories. The EEMBC Benchmark, http://ebenchmarks.com/
McVoy, L.W., Staelin, C.: Lmbench: Portable tools for performance analysis. In: USENIX Annual Technical Conference, pp. 279–294 (1996)
Performance Issues Working Group (PIWG). The piwg benchmark (1993), http://unicoi.kennesaw.edu/ase/support/cardcatx/piwg.htm
RTEMS. The Real-Time Operating System for Multiprocessor Systems, v4.6.1 edn., http://www.rtems.com/
The Standard Performance Evaluation Corporation. SPEC CPU 2004 (2004), http://www.spechbench.org/
Taft, S.T., Duff, R.A., Ploederer, E.: Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol. 2219. Springer, Heidelberg (2001), http://www.adaic.org/standards/95lrm/html/RM-TTL.html
VALGRIND. Valgrind - a GPL’d system for debugging and profiling x86-Linux programs, http://www.valgrind.kde.org/
WG9. Ravenscar profile for high-integrity systems (March 2003), http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berrendonner, R., Guitton, J. (2005). The ESA Ravenscar Benchmark. In: Vardanega, T., Wellings, A. (eds) Reliable Software Technology – Ada-Europe 2005. Ada-Europe 2005. Lecture Notes in Computer Science, vol 3555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499909_21
Download citation
DOI: https://doi.org/10.1007/11499909_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26286-2
Online ISBN: 978-3-540-31666-4
eBook Packages: Computer ScienceComputer Science (R0)