OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Framework to Quantify the Overestimations of Static WCET Analysis

Cassé, Hugues and Ozaktas, Haluk and Rochange, Christine A Framework to Quantify the Overestimations of Static WCET Analysis. (2015) In: 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), 7 July 2015 (Lund, Sweden).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
268kB

Official URL: http://dx.doi.org/10.4230/OASIcs.WCET.2015.1

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This paper appears inOpenAccess Series in Informatics (OASIcs)ISBN 978-3-939897-95-8} ISSN 2190-6807 Thanks to Dagstuhl Research Online Publication Server (DROPS)Distribution of this paper is permitted under the terms of the Creative Commons license CC-by-nc-nd 4.0. This paper appears inOpenAccess Series in Informatics (OASIcs)ISBN 978-3-939897-95-8 ISSN 2190-6807 The definitive version is available at: http://drops.dagstuhl.de/opus/volltexte/2015/5251/
HAL Id:hal-01371787
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:07 Sep 2016 14:29

Repository Staff Only: item control page