OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Identifying Relevant Parameters to Improve WCET Analysis

Zwirchmayr, Jakob and Sotin, Pascal and Bonenfant, Armelle and Claraz, Denis and Cuenot, Philippe Identifying Relevant Parameters to Improve WCET Analysis. (2014) In: 14th International Workshop on Worst-Case Execution Time Analysis - WCET 2014, 8 July 2014 - 8 July 2014 (Madrid, Spain).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
402kB

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

Abstract

Highly-configurable systems usually depend on a large number of parameters imposed by both hardware and software configuration. Due to the pessimistic assumptions of WCET analysis, if left unspecified, they deteriorate the quality of WCET analysis. In such a case, supplying the WCET analyzer with additional information about parameters (a scenario), e.g. possible variable ranges or values, allows reducing WCET over-estimation, either by improving the estimate, or by validating the initial estimate for a specific configuration or mode of execution. Nevertheless, exhaustively specifying constraints on all parameters is usually infeasible and identifying relevant ones (i.e. those impacting the WCET) is difficult. To address this issue, we propose the branching statement analysis, which uses a source-based heuristic to compute branch weights and that aims at listing unbalanced conditionals that correspond to system parameters. The goal is to help system-experts identify and formulate concise scenarios about modes or configurations that have a positive impact on the quality of the WCET analysis.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Heiko Falk editor. The definitive version is available at http://drops.dagstuhl.de/opus/volltexte/2014/4608/
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (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)
Other partners > Continental Automotive France SAS (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:10 Apr 2015 08:41

Repository Staff Only: item control page