Ce projet vise à reproduire les résultats expérimentaux d'un article soumis à la revue LITES, intitulé "Improving WCET Evaluation using Counters and Linear Relation Analysis". Il s'agit d'une étude visant à améliorer l'évaluation du temps d'exécution maximal (WCET) des programmes informatiques en utilisant des compteurs et une analyse de relations linéaires.