Outils d'analyse statique du code binaire

Cet outil permet d'obtenir un WCET approximatif au cours des phases initiales du développement de logiciels, exclusivement par analyse statique du code binaire.

Il est basé sur l'exploration de tous les chemins d'exécution possibles d'une tâche ou d'un programme et sur un calcul approximatif des temps d'exécution des instructions pour cette architecture de processeur.

La marge d'erreur du calcul du WCET est trop importante pour être considérée comme une preuve de certification de cet objectif, mais elle permet de déterminer dès le départ les points d'exécution critiques et les goulets d'étranglement au niveau de la tâche.

Cela permet de surveiller les temps d'exécution au fur et à mesure du développement du code source, en évitant les problèmes de dernière minute lors du calcul formel du WCET.

Il permet également de visualiser les graphiques des appels de fonction et du flux de contrôle. Avec le plug-in ValueAnalyzer, il est également possible de surveiller l'utilisation des variables (lectures et écritures).

Toutes ces fonctionnalités sont fournies sans qu'il soit nécessaire d'utiliser une carte de développement ou d'instrumenter le code.

Il n'est pas non plus nécessaire d'effectuer une configuration complexe. Il est très facile à utiliser dès le début du développement et peut être intégré dans des environnements d'intégration continue, permettant d'obtenir des mesures de performance à chaque construction de n'importe quelle partie du code source.