Context-sensitive Parametric WCET Analysis

Ballabriga, Clement; Forget, Julien; Lipari, Giuseppe

Document type :

Communication dans un congrès avec actes

DOI :

10.4230/OASIcs.WCET.2015.55

Title :

Context-sensitive Parametric WCET Analysis

Author(s) :

Ballabriga, Clement [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Forget, Julien [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lipari, Giuseppe [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]

Conference title :

15th International Workshop on Worst-Case Execution Time Analysis

City :

Lund

Country :

Suède

Start date of the conference :

2015-12-07

Book title :

15th International Workshop on Worst-Case Execution Time Analysis

Publication date :

2015-07-07

English keyword(s) :

WCET analysis
WCET estimation

HAL domain(s) :

Informatique [cs]/Systèmes embarqués
Informatique [cs]/Système d'exploitation [cs.OS]

English abstract : [en]

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 ...
Show more >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 systemsShow less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Files

https://hal.archives-ouvertes.fr/hal-01239158/document
Open access
Access the document

https://hal.archives-ouvertes.fr/hal-01239158/document
Open access
Access the document

https://hal.archives-ouvertes.fr/hal-01239158/document
Open access
Access the document

Context-sensitive Parametric WCET Analysis BibTeX CSV Excel RIS

Files

Context-sensitive Parametric WCET Analysis

BibTeX

CSV

Excel

RIS