Der ValueAnalyzer bestimmt automatisch, auf welche Speicherbereiche eine Anwendung zugreift und zeigt die Registerwerte für jeden Programmpunkt an. Somit wird die Validierung und Zertifizierung auf Assembler- oder Binärcode-Ebene möglich.
Der TimeWeaver berechnet Abschätzungen der WCET auf Task-Ebene aus der Laufzeit von Code-Stücken, die er durch Real-Time-Instruction-Level-Tracing erhält. Die berechneten Zeitschranken erlauben ein Feedback über die Worst-Case-Leistungsdaten und das Timing-Verhalten des Programms.
ASTRÉE ist eine Software zur statischen Programmanalyse, die C-Programme auf Laufzeitfehler überprüft.
Neben der Embedded World zeigt AbsInt all diese Produkte auch auf dem 1. Elektronik automotive congress, der am 19. Mai im Novotel Messe München stattfindet.