Extraction and Traceability of Annotations for WCET Estimation
Hanbing Li - ALF
PhD defense - Friday 9th October 2015
The talk [39:28 mn] Downloading file (MP4) 
The slides
Christine Rochange, Maître de Conférence à l’Université de Toulouse III
Philippe Clauss, Professeur à l’Université de Strasbourg
Florian Brandner, Enseignant-chercheur à Telecom Paris Tech
Steven Derrien, Professeur à l’Université Rennes I
Isabelle Puaut, Professeur à l’Université Rennes I
Erven Rohou, Directeur de recherche au centre Inria Rennes Bretagne-Atlantique
Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas la seule exigence, ils doivent de surcroît être produits dans in intervalle de temps borné. Connaitre le pire cas de temps d’exécution (WCET - Worst Case Execution Time) est nécessaire, et garantit que le système répond à ses contraintes de temps. Pour obtenir des estimations de WCET précises, des annotations sont nécessaires. Ces annotations sont généralement ajoutées au niveau du code source, tandis que l’analyse de WCET est effectuée au niveau du code binaire. L’optimisation du compilateur est entre ces deux niveaux et a un effet sur la structure du code et annotations.
Nous proposons dans cette thèse, une infrastructure logicielle de transformation, qui pour chaque optimisation transforme les annotations du code source au code binaire. Cette infrastructure est capable de transformer les annotations sans perte d’information de flot.
Nous avons choisi LLVM comme compilateur pour mettre en œuvre notre infrastructure. Et nous avons utilisé les jeux de test Mälardalen, TSVC et gcc-loop pour démontrer l’impact de notre infrastructure sur les optimisations du compilateur et la transformation d’annotations. Les résultats expérimentaux montrent que de nombreuses optimisations peuvent être activées avec notre système. Le nouveau WCET estimé est meilleur (plus fiable) que l’original. Nous montrons également que les optimisations du compilateur sont bénéfiques pour les systèmes temps-réel.