Investigating EVT-based Hybrid WCET Analyses

Read full text
Authors: Benjamin Rouxel, Slim Ben-Amor, Liliana Cucu, Kossivi Kougblenou
Cited by: 0

Abstract

One crucial analysis in assessing timing constraints of real-time systems is the Worst-Case Execution Time (WCET) analysis of programs executed on computing platforms. The ever increasing complexity of computing platforms makes this type of analysis extremely cumbersome if not impossible with deterministic methods. To overcome this difficulties, statistical methods such as Extreme Value Theory (EVT) are attractive.In this paper, we propose to enhance the confidence in the WCET estimates obtained by the application of EVT-based estimators by introducing, a hybrid statistical analysis featuring such estimators. While hybrid analyses are not new, our objective is to compare several possible analyses that may capture the advantages of EVT-based estimators.

Fields of Study & Subjects

Real-Time Systems Scheduling Formal Methods in Verification Logic programming and type systems

Publication details

Journal / source
HAL
Publication date
17 February 2026
Language
EN