Analyse des temps d’exécution en C/C++
La suite d’outil aiT, TimingProfiler et TimeWeaver d’AbsInt permet l’analyse et la prédiction du temps d’exécution d’un programme écrit en C/C++ jusqu’au WCET. En fonctionnement statique ou en combinaison avec des traces, ces outils sont indispensables 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.
-
ABSINT – AIT WCET
aiT WCET (Worst Case Execution Time) calcule les temps d’exécution au pire cas des taches de votre application embarquée, vous garantissant les temps de réaction de vos systèmes critiques.identifie les chemins critiques du point de vue des temps d’exécution, 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. -
ABSINT – VALUEANALYZER
ValueAnalyzer d'AbsInt est un add-on des outils aiT, TimingProfiler, TimeWeaver et StackAnalyzer d'analyse statique du contenu des registres et de la mémoire. Il détecte code mort, accès mémoire illégaux, erreurs de compilation dans le code objet. -
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. -
ABSINT – TIMEWEAVER
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.
