OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

When the worst-case execution time estimation gains from the application semantics

Bonenfant, Armelle and Carrier, Fabienne and Cassé, Hugues and Cuenot, Philippe and Claraz, Denis and Halbwachs, Nicolas and Li, Hanbing and Maïza, Claire and De Michiel, Marianne and Mussot, Vincent and Parent-Vigouroux, Catherine and Puaut, Isabelle and Raymond, Pascal and Rohou, Erven and Sotin, Pascal When the worst-case execution time estimation gains from the application semantics. (2016) In: 8th European Congress on Embedded Real-Time Software (ERTS 2016), 27 January 2016 - 29 January 2016 (Toulouse, France).

[img]
Preview
(Document in English)

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

Abstract

Critical embedded systems are generally composed of repetitive tasks that must meet drastic timing constraints, such as termination deadlines. Providing an upper bound of the worst-case execution time (WCET) of such tasks at design time is thus necessary to prove the correctness of the system. Static timing analysis methods compute safe WCET upper bounds, but at the cost of a potentially large over-approximation. Over-approximation may come from the fact that WCET analysis may consider as potential worst-cases some executions that are actually infeasible, because of the semantics of the program and/or because they correspond to unrealistic inputs. In this paper, we introduce a complete semantic-aware WCET estimation workflow. We introduce some program analysis to find infeasible paths: they can be performed at design, C or binary level, and may take into account information provided by the user. We design an annotation-aware compilation process that enables to trace the infeasible path properties through the program transformations performed by the compilers. Finally, we adapt the WCET estimation tool to take into account the kind of annotations produced by the workflow.

Item Type:Conference or Workshop Item (Paper)
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)
Other partners > Institut National Polytechnique de Grenoble (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Other partners > Université Grenoble Alpes - UGA (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)
Other partners > Université de Rennes 1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:03 Mar 2017 14:23

Repository Staff Only: item control page