We present llvmta, an academic WCET analysis tool based on the LLVM compiler
infrastructure. It aims to enable the evaluation of novel WCET analysis approaches in a state …

Critical embedded systems are generally composed of repetitive tasks that must meet hard
timing constraints, such as termination deadlines. Providing an upper bound of the worst …

The research of a safe Worst-Case Execution Time (WCET) estimation is necessary to build
reliable hard, critical real-time systems. Infeasible paths are a major cause of overestimation …

Compiler optimizations are widely used to enhance the average case performance of
software, and these techniques are very effective and advance with every compiler version …

Dans le domaine des systèmes critiques, l'analyse des temps d'exécution des programmes
est nécessaire pour planifier et ordonnancer au mieux différentes tâches et par extension …

La recherche d'une borne supérieure au temps d'exécution d'un programme est une partie
essentielle du processus de vérification de systèmes temps-réel critiques. Les programmes …