X
A+
A
A-

AbsInt GmbH

AbsInt propose des logiciels pour l’analyse, l’optimisation et la vérification de systèmes intégrés et de programmes logiciels essentiels à la sécurité.

Le marché actuel pour les systèmes intégrés se caractérise par une complexité toujours croissante des logiciels et par des cycles de développement toujours plus courts. La part des applications essentielles pour la sécurité est en constante augmentation. Les produits d’AbsInt aident les développeurs de systèmes en temps réel

  • à augmenter la sécurité et l’efficacité des systèmes,
  • à raccourcir davantage les cycles de développement et
  • à faire baisser les dépenses pour les tests et les dépannages.

Nos produits clés sont :

  • aiT WCET Analyzer : détermination de délai d’exécution maximal
  • StackAnalyzer : détermination de la taille maximale de la pile utilisée
  • Astrée : preuve de l’absence d’erreurs pendant le délai d’exécution

Autres produits :

  • Analyses de programmes et optimisation
  • Compilateurs optimisant pour microcontrôleurs et processeurs de signal numérique (DSP)