Towards Predicated WCET Analysis

Marref, Amine; Bernat, Guillem

doi:10.4230/OASIcs.WCET.2008.1667

Document

Towards Predicated WCET Analysis

Authors Amine Marref, Guillem Bernat

Part of: Volume: 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (WCET 2008)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Worst-Case Execution Time Analysis (WCET)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2008-11-13

PDF

File

PDF

OASIcs.WCET.2008.1667.pdf

Filesize: 192 kB
10 pages

Document Identifiers

DOI: 10.4230/OASIcs.WCET.2008.1667
URN: urn:nbn:de:0030-drops-16670

Subject Classification

Keywords

WCET Analysis
Implicit-Path Enumeration-Technique
Constraint-Logic Programming
Static Analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Amine Marref

Guillem Bernat

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail