ABSINT – AIT WCET

SL-GMS® WEB/DEVELOPER
ABSINT – ASTRÉE

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.
Basé sur des techniques d’analyse statique  et d’interprétation abstraite ayant fait l’objet de nombreuses publications académiques, l’outil aiT vous affranchit du recours aux méthodes classiques et peu fiables de mesure manuelles de temps.
aiT WCET analyse de manière statique le comportement intrinsèque du cache et du pipeline d’une tâche en se basant sur des modèles formels de cache et de pipeline. Cela permet de calculer des limites supérieures correctes et exactes pour le temps d’exécution le plus défavorable (WCET).
Il s’intègre dans de nombreuses chaine d’outils tels que SCADE, TargetLink, Jenkins entre autres pour un usage simple et des résultats fiables et rapides.
Large gamme de processeurs supportés tels les PowerPC QorIQ et Qorivva, ARM Cortex-R5F et A53, TriCore AUDO, et AURIX.
aiT WCET 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.
Recevez le PDF de cette fiche par e-mail
Demandez plus d'informations

Description

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.