| Nos partenaires |
|---|
 |
 |
 |
 |
 |
 |
 |
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 (en anglais « worst-case execution time » ou bien « WCET »). 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 des tâches de votre application. Le débordement de pile 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.