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)

[img]
Preview
(Document in English)

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

Abstract

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)
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 - 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:18 Nov 2015 15:27

Repository Staff Only: item control page