Logiciels

aiT

aiTaiT calcule statiquement des bornes supérieures précises sur les temps d’exécution des tâches de systèmes temps-réel. Ces bornes sont garanties pour tout scénario d’exécution possible. Cet outil analyse directement les binaires exécutables et prend en compte le comportement du cache et du pipeline de l’architecture matérielle sur laquelle il est prévu d’exécuter ces binaires.

StackAnalyzer

StackAnalyzerStackAnalyzer détermine automatiquement la taille de la pile utilisée par vos tâches dans votre appli­cation, dans le cas le pire. Il peut ainsi prouver formellement l’absence de débordement de pile de ces tâches.


Astrée

AstréeL’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, mani­pu­lations et déréférences de pointeurs nuls et invalides, débordements arithmétiques, etc.


TimingProfiler

TimingProfilerTimingProfiler calcule une estimation du temps d’exécution des pro­grammes, sans qu’il soit nécessaire de faire de test, de mesure ou de fournir des jeux d’entrées. Cet outil est fondé sur notre tech­no­logie primée de calcul statique de temps d’exécution dans le cas le pire. Il est idéal pour suivre à tout instant le temps d’exécu­tion des logiciels durant leur développement.


CompCert

CompCert — compilation vérifiéCompCert est un compilateur C optimisant vérifié formellement. La correction du pro­cessus de compilation est ainsi assurée avec un niveau de confiance sans précédent, contribuant à atteindre les plus hauts niveaux d’assurance du logiciel produit.


Autres logiciels

Pour d’informations sur produits interrompus, veuillez contacter info@absint.com.

Informations complémentaires en anglais