ABSINT – TIMINGPROFILER
TimingProfiler d’AbsInt identifie les chemins critiques du point de vue des temps d’exécution, par une simple analyse statique du code compilé. 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.
Exploration de tous les chemins exécutables pour un résultat exhaustif.
Large gamme de processeurs supportés tels les PowerPC QorIQ et Qorivva, ARM Cortex-R5F et A53, TriCore AUDO, et AURIX.
TimingProfiler fonctionne sur l’interface graphique A3, identique pour tous les produits ABSINT.
Contactez nous pour une démonstration en ligne ou pour accéder à la version d’évaluation gratuite, avec support technique et formation en ligne.
- Description
Description
TimingProfiler d’AbsInt identifie les chemins critiques du point de vue des temps d’exécution, par une simple analyse statique du code compilé. 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.
