OASIcs.WCET.2008.1667.pdf
- Filesize: 192 kB
- 10 pages
Document
Towards Predicated WCET Analysis
Authors
-
Part of:
Volume:
8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (WCET 2008)
Series: Open Access Series in Informatics (OASIcs)
Conference: Workshop on Worst-Case Execution Time Analysis (WCET) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2008-11-13
Cite As Get BibTex
Amine Marref and Guillem Bernat. Towards Predicated WCET Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/OASIcs.WCET.2008.1667
Abstract
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 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.
Subject Classification
Keywords
- WCET Analysis
- Implicit-Path Enumeration-Technique
- Constraint-Logic Programming
- Static Analysis
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads