Context-sensitive Parametric WCET Analysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Context-sensitive Parametric WCET Analysis


In this paper, we propose a WCET analysis that focuses on two aspects. First, it supports context-sensitive hardware and software timing effects, meaning that it is sensitive to the execution history of the program and thus can account for effects like cache persistence, triangular loop, etc. Second, it supports the introduction of parameters in both the software model (e.g. parametric loop bounds) and the hardware model (e.g. number of cache misses). WCET computation by static analysis is traditionally handled by the Implicit Path Enumeration Technique (IPET), using an Integer Linear Program (ILP) that is difficult to resolve parametrically. We suggest an alternative tree-based approach. We define a context-sensitive CFG format to express these effects, and we provide an efficient method to process it, giving a parametric WCET formula. Experimental results show that this new method is significantly faster and more accurate than existing parametric approaches. 1998 ACM Subject Classification C.3 Real-time and embedded systems
Fichier principal
Vignette du fichier
Ballabriga2015.pdf (604.59 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive

Dates and versions

hal-01239158 , version 1 (08-12-2015)



Clément Ballabriga, Julien Forget, Giuseppe Lipari. Context-sensitive Parametric WCET Analysis. 15th International Workshop on Worst-Case Execution Time Analysis, Dec 2015, Lund Sweden. ⟨10.4230/OASIcs.WCET.2015.55⟩. ⟨hal-01239158⟩
134 View
162 Download



Gmail Mastodon Facebook X LinkedIn More