ANTYCIP une offre Leader d'équipements pour la fabrication et le test de produits microélectroniques et électroniques

           FR  EN  ESP
Produits

Outils pour le développement et la validation de logiciels

X Fermer
Nos experts techniques restent à votre disposition pour répondre à vos questions par téléphone

+33 1 70 26 08 25

Accueil / Outils pour le développement et la validation de logiciels / Validation, vérification et certification de logiciels embarqués critiques / ABSINT - TimeWeaver

ABSINT - TimeWeaver

RECHERCHER
Par marques :
Par mots-clés :
  

ABSINT - TimeWeaver

Descriptif complet :

Nouveau produit ABSINT!
  
La problématique
La prédiction fiable des temps d'exécution au pire cas (WCET) par analyse statique, telle qu'elle est obtenue avec le produit aiT d'ABSINT, n'est plus techniquement possible avec les nouvelles générations de processeurs, en particulier multi-coeurs.
Les techniques de mesures traditionnelles sont longues, fastidieuses, et ne garantissent pas une bonne couverture du code. Par ailleurs, l'instrumentation du code perturbe ces mesures.
   
La solution
TimeWeaver est un outil d'analyse des temps qui combine le relevé de traces d'exécution non intrusives avec les techniques d'analyse statique et de recherche des chemins d'exécution les plus défavorables.
Les traces sont relevées à l'aide du protocole Nexus IEE-ISTO 5001 Branch History Message (BHM)
TimeWeaver en déduit les informations suivantes:
  • Estimation des temps d'exécution au pire cas de chaque tâches
  • Variance des temps d'exécution sur l'ensemble des traces
  • Couverture du code exécuté pour l'ensemble des parties tracées
  • Information sur les accès mémoire du chemin critique
  • Pour chaque boucle: nombre d'itérations maximum théorique et nombre d'itérations observé
TimeWeaver est compatible avec les processeurs haut de gamme modernes, tels que les PowerPC QorIQ et Qorivva, ainsi que ARM Cortex-R5F et A53
 
Visualisation de la couverture d'exécution
Visualisation du graphe d'appel
   
TimeWeaver utilise la même interface graphique ("A3") que les autres produits ABSINT
   

AUTRES PRODUITS DANS Outils pour le développement et la validation de logiciels

PRODUITS
CONTACT

Renseignement, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter

Mentions légales - Protection des données personnelles - Crédit photo - Copyright Antycip 2018 - Administration
  OK