A Framework to Quantify the Overestimations of Static WCET Analysis

Abstract : To reduce complexity while computing an upper bound on the worst-case execution time, static WCET analysis performs over-approximations. This feeds the general feeling that static WCET estimations can be far above the real WCET. This feeling is strengthened when these estimations are compared to measured execution times: generally, it is very unlikely to capture the worstcase from observations, then the difference between the highest watermark and the proven WCET upper bound might be considerable. In this paper, we introduce a framework to quantify the possible overestimation on WCET upper bounds obtained by static analysis. The objective is to derive a lower bound on the WCET to complement the upper bound.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, September 26, 2016 - 2:39:53 PM
Last modification on : Thursday, June 27, 2019 - 4:27:50 PM


Files produced by the author(s)


  • HAL Id : hal-01371787, version 1
  • OATAO : 15318



Hugues Cassé, Haluk Ozaktas, Christine Rochange. A Framework to Quantify the Overestimations of Static WCET Analysis. 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Jul 2015, Lund, Sweden. pp. 1-10. ⟨hal-01371787⟩



Record views


Files downloads