aiT - l'outil de référence pour le calcul du Worst Case Execution Time

aiT WCET Analyzer effectue une analyse statique de votre code binaire exécutable et en déduit, grâce aux techniques d'interprétation abstraite, les temps d'exécution au pire cas, pour répondre aux exigences de sûreté de fonctionnement les plus sévères.

Le challenge
La maîtrise des temps d'exécution des systèmes temps-réel critiques est une absolue nécessité , pour en garantir le bon fonctionnement quelles que soient les circonstances.
Cependant, il est très difficile de borner ces temps avec une précision suffisante:

• L'analyse dynamique est une tâche longue  et fastidieuse, et ne permet pas d'obtenir un résultat garanti
• Les processeurs récents possèdent des architectures complexes (caches, pipeline) rendant difficile leur simulation
• Les méthodes traditionnelles d'analyse qui ne tiennent pas compte de ces particularités surestiment exagérément les temps, au détriment d'une bonne optimisation des ressources

La solution
L'outil aiT WCET Analyzer est une solution efficace à ces enjeux: il effectue une analyse statique du code binaire exécutable avec la technique d'interprétation abstraite, et sur la base d'une modélisation formelle de l'architecture de la cible (cache et pipeline). En conséquence les résultats obtenus sont précis et fiables. De plus, l'interface utilisateur de aiT WCET Analyzer permet une visualisation interactive et ergonomique des les résultats de l'outil.

Bénéfices

• Les valeurs de temps d'exécution calculées sont extrêmenet précises et reflètent les véritables performances de votre système. Le respect des contraintes de temps ne se fait pas au détriment des ressources matérielles
• Les mesures sont exhaustives et applicables à toutes les conditions d'utilisation de votre application, sans avoir à recourir à des tests dynamiques fastidieux.
• aiT analyse directement le binaire exécutable. Il est donc totalement indépendant du  langage de développemnt et du compilateur utilisé, et ne demande aucune adaptation de votre chaîne de développement logicielle

Intégrations

aiT WCET Analyzer s'intègre parfaitement avec les environnement de développement embarqués du marché

• SymTA/S , outil d'analyse des temps de Symtavision ( www.symtavision.com)
• T1 la suite d'outils de mesure de Gliwa
• SCADE suite d'Esterel technologies
• ASCET d'ETAS
• aiT WCET Analyzer peut aussi bien sûr être combiné avec les autres outils développés par ABSINT , comme StackAnalyzer

Cibles

aiT WCET Analyzer est compatible avec un nombre croissant de cibles, nous sommes à votre disposition pour vous rensigner sur ce sujet.

Support à la qualification

En complément de l'outil lui-même, ABSINT propose un support pour la qualification de votre chaîne de développement et de validation:

• Qualification Support Kit (QSK) pour simplifier le processus de certification aéronautique (DO178B Level A) ou automobile (ISO 26262)
• Qualification Software Life Cycle Data (QSLCD) décrivant la méthodologie et le plan qualité mis en oeuvre pour le développement et la validation de aiT WCET Analyzer

De nombreux clients ont utilisés avec succès le produit aiT et les kits QSK et QSLCD pour obtenir leur certification