- Logiciels
- Où acheter
aiSee
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 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
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
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.
