The ESA Ravenscar Benchmark

TheESARavenscarBenchmark
RomainBerrendonner
JérômeGuitton
AdaCore
8ruedeMilan,75009Paris,France
berrendo@adacore.com
guitton@adacore.com
Abstract. ThisarticlepresentsERB,theESARavenscarBenchmark.ERBaims
at providing a synthetic benchmark comparing the efficiency of various Ada
RavenscarimplementationsandtheRTEMSCimplementationfeaturingthena-
tive threading model. ERB is original compared to existing Ada benchmarks,
such as the ACES or the PIWG,not only because it is the first Ada Ravenscar
benchmark, but alsobecause it provides at thesame timemeasurement of exe-
cutiontimesandestimateofthememoryfootprintoftheAdaruntimeandstack
sizerequirements.ERBintendstobecomethestandardbenchmarkforembedded
AdaRavenscar applications. Tofacilitatethis, theEuropean SpaceAgency and
AdaCoreplantoreleaseitundertheGNUGPLtointerestedthirdparties.
1 TheERBProject
1.1 ProjectContext
TheEuropeanSpaceAgency(ESA)hasdevotedsignificantresourcestothedevelop-
ment of a radiation-hardenedfamily of processors based on the SPARC architecture
[24]foruseinEuropeanspaceapplications.ThisfamilyincludestheERC32radiation-
hardenedSPARCV7processorandtheLeonSPARCV8VHDLmodel.
ThemainprogramminglanguagescurrentlyusedforspaceapplicationsareAdaand
C.VariousAdaandCcompilationtoolchainspresentlyexistthattargetthespacemar-
ket.Someofthesetoolchainsareself-contained,allowingthecreationofself-standing
embedded applications; others rely on a kernel to provide the complete ...