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.

Elle repose sur l'exploration de tous les chemins d'exécution possibles pour une tâche ou 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 la certification de cet objectif, mais elle permet d'identifier d'emblée les points critiques et les goulets d'étranglement au niveau de la tâche.

Cela permet de contrôler les durées d'exécution au fur et à mesure du développement du code source et d'éviter les problèmes de dernière minute lors du calcul formel du WCET.

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

Toutes ces fonctionnalités sont fournies sans qu'il soit nécessaire d'utiliser la carte de développement ou tout autre outil de programmation.

Il n'est pas non plus nécessaire de procéder à 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, et des mesures de performance peuvent être obtenues sur chaque version de n'importe quelle partie du code source.