OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Expressing and exploiting path conflicts in WCET analysis

Mussot, Vincent and Ruiz, Jordy and Sotin, Pascal and De Michiel, Marianne and Cassé, Hugues Expressing and exploiting path conflicts in WCET analysis. (2016) In: 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, 5 July 2016 (Toulouse, France).

(Document in English)

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

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


The presence of infeasible paths in a program is a source of imprecision in the Worst-Case Execution Time (WCET) analysis. Detecting, expressing and exploiting such paths can improve the WCET estimation or, at least, improve the confidence we have in estimation precision. In this article, we propose an extension of the FFX format to express conflicts over paths and we detail two ways of enhancing the WCET analyses with that information. We demonstrate and compare these techniques on the Mälardalen benchmark suite and on C code generated from Esterel.

Item Type:Conference or Workshop Item (Paper)
Additional Information: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 papers appears in OpenAccess Series in Informatics ISSN : 2190-6807 ISBN : 978-3-95977-025-5 The definitive version is available at: http://drops.dagstuhl.de/opus/volltexte/2016/6896/pdf/OASIcs-WCET-2016-3.pdf
HAL Id:hal-01682967
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:18 Dec 2017 15:45

Repository Staff Only: item control page