Improving WCET Evaluation using Linear Relation Analysis

Improving WCET Evaluation using Linear Relation Analysis

The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program. In this paper, we propose to use the classical abstract interpretation-based method of linear re...

Full description

Bibliographic Details
Main Authors: Raymond, Pascal, Maiza, Claire, Parent-Vigouroux, Catherine, Jahier, Erwan, Halbwachs, Nicolas, Carrier, Fabienne, Asavoae, Mihail, Boutonnet, Rémy
Format: Article
Language:English
Published: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik 2019-05-01
Series:Leibniz Transactions on Embedded Systems
Subjects:
worst case execution time estimation
infeasible execution paths
abstract interpretation
Online Access:https://drops.dagstuhl.de/storage/07lites/lites_vol006/lites_vol006_issue001/LITES-v006-i001-a002/LITES-v006-i001-a002.pdf

Internet

https://drops.dagstuhl.de/storage/07lites/lites_vol006/lites_vol006_issue001/LITES-v006-i001-a002/LITES-v006-i001-a002.pdf

Similar Items