文章基本信息

标题：A Framework to Quantify the Overestimations of Static WCET Analysis
本地全文：下载
作者：Hugues Cass{\'e ; Haluk Ozaktas ; Christine Rochange 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2015
卷号：47
页码：1-10
DOI：10.4230/OASIcs.WCET.2015.1
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Static WCET analysis; uncertainty; overestimation; cache analysis