- Logiciels
- Où acheter
Astrée
L’analyseur
statique Astrée trouve tous les erreurs à l’exécution dans les codes critiques
embarqués écrits en C et peut donc prouver l’absence d’erreurs à l’exécution.
Ci-inclus: divisions par zéro, débordements d’index de tableau, manipulations
et déréférences de pointeurs nuls et invalides, débordements arithmétiques, etc.
aiT WCET Analyzers
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.
- Page d’accueil (en anglais)
StackAnalyzer
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é.
- Page d’accueil (en anglais)
aiSee — visualisation de graphes
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.
- Page d’accueil
- Fiche commerciale (PDF, 1,4 Mo)
aiPop
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.
- Page d’accueil (en anglais)
Autres logiciels
Voir aussi (en anglais)
