Towards Predicated WCET Analysis
A. Marref and G. Bernat
In this paper, we propose the use of constraint logic programming as a way of modeling context-sensitive execution-times of program segments. The context-sensitive constraints are collected automatically through static analysis or measurements. We achieve considerable tightness in comparison to traditional calculation methods that exceeded in some cases during evaluation. The use of constraint-logic programming in our calculations proves to be the right choice when compared to the exponential behaviour recorded by the use of integer linear-programming.
Download Not Available
BibTex Entry
@inproceedings{Marref2008,
author = {A. Marref and G. Bernat},
booktitle = {Proc. WCET},
month = {JUL},
pages = {31--40},
title = {Towards Predicated WCET Analysis},
year = {2008}
}