Ce projet a pour but de reproduire les résultats expérimentaux d'un article en cours de soumission, intitulé "Assessing Software Abstractions in WCET Analysis of Reactive Programs". Il s'agit d'évaluer l'impact de différentes abstractions logicielles sur l'analyse de la consommation de temps d'exécution des programmes réactifs.