aiSee — visualisation de graphes

aiSeeaiSee est un outil pour le positionnement automatique de graphes spécifiés en format GDL. Il minimise automatiquement le nombre de croisements d’arrêts de façon à faciliter la lecture de dessins.


aiT WCET Analyzers

aiTaiT effectue une analyse statique du comportement cache et pipeline intrinsèque des tâches d’un système réel. Ceci permet un calcul précis des limites supérieures pour le temps d’exécution au pire cas (worst-case execution time). aiT vérifie donc que les programmes à sûreté critique réagissent toujours en temps voulu.


StackAnalyzer

StackAnalyzerStackAnalyzer détermine automatiquement l’utilisation au pire cas de la pile (worst-case stack usage) des tâches de votre application. Le débordement de pile (stack overflow) appartient désormais au passé.


aiPop

aiPopaiPop réduit automatiquement la taille du code d’application, sans en altérer la fonctionnalité. Ceci engendre une réduction des exigences mémoire et des coûts matériels.

En haut