Context-sensitive Parametric WCET Analysis
Type de document :
Communication dans un congrès avec actes
Titre :
Context-sensitive Parametric WCET Analysis
Auteur(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]
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]
Titre de la manifestation scientifique :
15th International Workshop on Worst-Case Execution Time Analysis
Ville :
Lund
Pays :
Suède
Date de début de la manifestation scientifique :
2015-12-07
Titre de l’ouvrage :
15th International Workshop on Worst-Case Execution Time Analysis
Date de publication :
2015-07-07
Mot(s)-clé(s) en anglais :
WCET analysis
WCET estimation
WCET estimation
Discipline(s) HAL :
Informatique [cs]/Systèmes embarqués
Informatique [cs]/Système d'exploitation [cs.OS]
Informatique [cs]/Système d'exploitation [cs.OS]
Résumé en anglais : [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 ...
Lire la suite >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 systemsLire moins >
Lire la suite >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 systemsLire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-01239158/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01239158/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01239158/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- Ballabriga2015.pdf
- Accès libre
- Accéder au document