Outils d'analyse statique du code binaire
Calcul du pire temps d'exécution (WCET)
Outil : TimeWeaver
Pour les processeurs modernes très complexes (dont beaucoup sont multicœurs), il est très difficile de modéliser formellement les mécanismes de pipeline, de cache et de diaphonie entre les cœurs.
Dans ce cas, il n'est pas possible de calculer le WCET par la seule analyse statique du code et il est nécessaire d'utiliser des techniques mixtes d'analyse et de mesure de la durée d'exécution.
Qu'est-ce que TimeWeaver ?
TimeWeaver est un analyseur hybride qui combine ces deux techniques de calcul du WCET. Les mesures de temps d'exécution les plus précises sont obtenues en capturant des traces matérielles non intrusives du microprocesseur. Par conséquent, TimeWeaver n'est disponible que pour les processeurs dotés d'une capacité de traçage matériel et pour les cartes dotées d'un connecteur de traçage de type Nexus et d'une interface de type Aurora ou similaire. En outre, une sonde de débogage avec capacité de trace matérielle, telle que Lauterbach ou Green Hills Probe, est nécessaire.
Pour effectuer le calcul du WCET, TimeWeaver a besoin de :
- Le code binaire exécutable
- Traces d'exécution
- Optionnellement, le code source et les annotations sur l'architecture.
Le résultat de l'analyse est similaire à celui obtenu par l'aiT et est suffisamment précis pour être considéré comme une preuve de certification.
TimeWeaver est disponible pour les architectures et les formats de trace suivants :
PowerPC capable d'émettre des messages de trace du programme Nexus (IEEE-ISTO 5001, classe 2 ou supérieure) :
ARM avec trace ETM précise sur le cycle d'horloge ou ULink Pro
Traces Tricore
Familles de processeurs et de compilateurs prises en charge
- Cortex A53
- Cortex R5F
- Famille AUDO (par exemple TC1796)
- Famille AURIX (par exemple TC275)
- Famille AURIX 2nd Gen. (TC3xx)
- QorlQ série P (e500mc core)
- QorlQ série T (e5500, e6500 core)
- Qorivva Line MPC55xx, MPC56Xxx MPC57xx (e200 core)
