When the worst-case execution time estimation gains from the application semantics - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2) , (3) , (1, 2) , (4) , (4) , (3) , (5) , (3) , (1, 6) , (1) , (3) , (5) , (3) , (5) , (1)
1
2
3
4
5
6
Fabienne Carrier
  • Function : Author
  • PersonId : 973368
Philippe Cuenot
  • Function : Author
  • PersonId : 973369
Denis Claraz
  • Function : Author
  • PersonId : 973370
Nicolas Halbwachs
  • Function : Author
  • PersonId : 844681
Hanbing Li
  • Function : Author
  • PersonId : 960618
Claire Maiza
  • Function : Author
  • PersonId : 973371
Catherine Parent-Vigouroux
Isabelle Puaut
Pascal Raymond
Erven Rohou

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.
Fichier principal
Vignette du fichier
ERTS-2016.pdf (928.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01235781 , version 1 (30-11-2015)

Identifiers

  • HAL Id : hal-01235781 , version 1

Cite

Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, et al.. When the worst-case execution time estimation gains from the application semantics. 8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France. ⟨hal-01235781⟩
1129 View
263 Download

Share

Gmail Facebook Twitter LinkedIn More