2026-08-15T13:57:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1667 2024-03-06T10:28:31Z ddc:004 open_access

Towards Predicated WCET Analysis Marref, Amine Bernat, Guillem WCET Analysis Implicit-Path Enumeration-Technique Constraint-Logic Programming Static Analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Amine Marref and Guillem Bernat 2008 Is Part Of OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2008.1667 urn:nbn:de:0030-drops-16670 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1667 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode