TimeWeaver d’AbsInt combine l’analyse statique des chemins et des relevés de trace pour fournir des estimations du temps d’exécution les plus défavorables. Cet outil est indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434.

Ces informations de limites de temps calculées servent pour optimiser les performances dans le pire des cas. Se fait sans instrumentation du code.

Les traces sont relevées à l’aide du protocole Nexus IEE-ISTO 5001 Branch History Message (BHM) ou Infineon DAS.

TimeWeaver est compatible avec les processeurs haut de gamme modernes, tels que les PowerPC QorIQ et Qorivva, ARM Cortex-R5F et A53, TriCore AUDO, et AURIX.