OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

From Relevant High-level Properties to WCET Computation Improvement

Mussot, Vincent and Bonenfant, Armelle and Sotin, Pascal and Claraz, Denis and Cuenot, Philippe From Relevant High-level Properties to WCET Computation Improvement. (2014) In: International Conference on Embedded Real Time Software and Systems (ERTS2 2014), 5 February 2014 - 7 February 2014 (Toulouse, France). (Unpublished)

(Document in English)

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


The scheduling of real-time systems requires knowing the Worst Case Execution Time (WCET) of their tasks. WCET analysers compute timings by analysis of the low level behaviour of the target task. This document presents improvements in the WCET computation allowed by taking into account high level behaviours of the tasks. We first classify high level knowledge according to the relevance with respect to WCET estimation. We then propose a systematic method to bring this information back to the low level on which operate most WCET analysers. This approach separates the concerns of stating properties, integrating properties and computing a WCET aware of these properties.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-03666048
Audience (conference):International conference without published proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (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)
Other partners > Continental Automotive France SAS (FRANCE)
Laboratory name:
Deposited On:18 Nov 2015 15:27

Repository Staff Only: item control page