2026-07-21T14:16:29Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5251 2024-03-06T10:29:47Z ddc:004 open_access

A Framework to Quantify the Overestimations of Static WCET Analysis Cassé, Hugues Ozaktas, Haluk Rochange, Christine Static WCET analysis uncertainty overestimation cache analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hugues Cassé and Haluk Ozaktas and Christine Rochange 2015 Is Part Of OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2015.1 urn:nbn:de:0030-drops-52517 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.1 eng https://creativecommons.org/licenses/by/3.0/legalcode