Crée en 1998, AbsInt est une société privée basée à Sarrebruck en Allemagne,
juste à la frontière de la Lorraine.
AbsInt propose des outils de développement innovants pour les systèmes
embarqués ainsi que des outils pour la validation, la vérification et la
certification des logiciels critiques.
Nos outils sont basés sur une plateforme générique qui permet une
réponse extrémement rapide, flexible et pertinente aux besoins de
nos clients. Cette pertinence a été prouvée
au cours de nombreux projets réussis
qui ont eu pour résultat une très grande satisfaction clients.
Nos principaux produits sont :
- aiT WCET Analyzers
aiT effectue une analyse statique du comportement cache et pipeline
intrinsèque des tâches d’un systeme 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
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
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.