Towards Predicated WCET Analysis

13 years 9 months ago
Towards Predicated WCET Analysis
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive 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 20% 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.
Amine Marref, Guillem Bernat
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where WCET
Authors Amine Marref, Guillem Bernat
Comments (0)