Abstract

International audience; Modern embedded processors have gone through multiple internal optimization to speed-up the average execution time e.g., caches, pipelines, branch prediction. Besides, internal communication mechanisms and shared resources like caches or buses have a significant impact on Worst-Case Execution Times (WCETs). Having an accurate estimate of a WCET is now a challenge. Probabilistic approaches provide a viable alternative to single WCET estimation. They consider WCET as a probabilistic distribution associated to uncertainty or risk.In this paper, we present synthetic benchmarks and associated analysis for several LEON3 configurations on FPGA targets. Benchmarking exposes key parameters to execution time variability allowing for accurate probabilistic modeling of system dynamics. We analyze the impact of architecture-level configurations on average and worst-case behaviors.; Les processeurs embarqués modernes sont passés par optimisation interne multiple pour accélérer l'exécution moyenne par exemple le temps, les caches, les pipelines, la prédiction de branchement. Par ailleurs, mécanismes de communication et de partage des ressources comme des caches ou bus ont un impact significatif sur le temps d'exécution pire des cas (WCETs). Avoir une estimation précise d'un WCET est maintenant en défi. Les approches probabilistes fournies pour des alternatives viables à Singles WCET estimation. Ils considèrent comme un WCET probabiliste la distribution associée à l'incertitude ou le risque du pire cas.Dans cet article, nous présentons des benchmarks synthétiques et associés analyse pour plusieurs configurations LEON3 sur FPGA cibles. Benchmarking expose l'effet de certains paramètres sur la variabilité de l'exécution des taches afin de permettre à la modélisation probabiliste précise de la dynamique du système. Nous analysons l'impact des configurations sur les comportements moyens et pire cas du systeme.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1145/2990299.2990306 under the license http://www.acm.org/publications/policies/copyright_policy#Background
https://hal.archives-ouvertes.fr/hal-01413052/document,
https://hal.archives-ouvertes.fr/hal-01413052/file/DTIM16073.1472649327.pdf
https://hal.archives-ouvertes.fr/hal-01543282/document,
https://hal.archives-ouvertes.fr/hal-01543282/file/Damman_17805.pdf
https://oatao.univ-toulouse.fr/17805,
https://hal.archives-ouvertes.fr/hal-01543282,
https://dblp.uni-trier.de/db/conf/rsp/rsp2016.html#DammanEGNSH16,
https://core.ac.uk/display/85134961,
https://academic.microsoft.com/#/detail/2600564285
Back to Top

Document information

Published on 01/01/2016

Volume 2016, 2016
DOI: 10.1145/2990299.2990306
Licence: Other

Document Score

0

Views 0
Recommendations 0

Share this document

claim authorship

Are you one of the authors of this document?