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.

• Type: Conference
• Year: 2008
• Where: WCET
• Authors: Amine Marref, Guillem Bernat
• Keywords: Constraint Logic Programming, Context-sensitive Constraints, Software Engineering, Traditional Calculation Methods, WCET 2008