| 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é. - 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.
Pour de plus amples informations, veuillez voir la page anglaise.