2026-07-23T05:04:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6896 2024-03-06T10:30:03Z ddc:004 open_access

Expressing and Exploiting Conflicts over Paths in WCET Analysis Mussot, Vincent Ruiz, Jordy Sotin, Pascal de Michiel, Marianne Cassé, Hugues WCET analysis Infeasible paths Path conflicts IPET CFG transformation The presence of infeasible paths in a program is a source of imprecision in the Worst-Case Execution Time (WCET) analysis. Detecting, expressing and exploiting such paths can improve the WCET estimation or, at least, improve the confidence we have in estimation precision. In this article, we propose an extension of the FFX format to express conflicts over paths and we detail two ways of enhancing the WCET analyses with that information. We demonstrate and compare these techniques on the Mälardalen benchmark suite and on C code generated from Esterel. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Vincent Mussot and Jordy Ruiz and Pascal Sotin and Marianne de Michiel and Hugues Cassé 2016 Is Part Of OASIcs, Volume 55, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2016.3 urn:nbn:de:0030-drops-68966 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2016.3 eng https://creativecommons.org/licenses/by/3.0/legalcode