aiT – WCET-Analysen

aiT – WCET-AnalysenaiT berechnet statisch enge Schranken für die WCET (worst-case exe­cu­tion time) von Tasks in ein­gebetteten Sys­te­men. Es berücksichtigt dabei deren Cache- und Pipelineverhalten. Die Analyse­ergeb­nisse gel­ten für alle Eingaben und alle mög­lichen Ausführungsszenarien.

StackAnalyzer – Stackanalyse

StackAnalyzer – StackanalyseStackAnalyzer berechnet automatisch und exakt den maximalen Stack­ver­brauch von eingebetteten Anwendungen für jeden Programmpunkt. Die Analyseergebnisse wer­den im Aufruf- und Kontrollflußgraphen an­schau­lich dargestellt. Laufzeitfehler wegen Stack­überlauf gehören der Vergangenheit an.

aiPop – Codekompaktierung

aiPop – CodekompaktierungaiPop optimiert ein­ge­bet­tete Software nach Kri­terien wie Aus­führungs­zeit oder Codegröße. Durch Einsatz von aiPop werden Kom­paktions­raten von über 20 % für real existierende Anwendungen erreicht (u.a. Software für Handys). Das erlaubt 25 % mehr Funktionalität bei gleicher Speicher­ausstattung.

Astrée — Laufzeitfehleranalyse

Astrée — LaufzeitfehleranalyseAstrée ist eine Software zur statischen Pro­gramm­analyse, die C-Programme auto­ma­tisch auf Laufzeitfehler überprüft. Sie bietet sich vor allem zur Analyse von sicherheitskritischen einge­betteten Anwendungen an.

PAG – Statische Programmanalyse

PAG – Statische ProgrammanalyseDie von PAG erzeugten Programmanalysatoren sind außer­ordentlich effizient und können dank wohldefinierter Schnitt­stel­len auf einfache Weise in bestehende Compiler integriert werden.

aiSee – Graphvisualisierung

aiSee – GraphvisualisierungaiSee liest eine einfache textuelle Beschreibung eines Graphen und be­rech­net automatisch ein passendes Layout, das interaktiv erkundet und ausgedruckt werden kann. aiSee ermöglicht das Verschachteln von Graphen und bietet neben 15 Layout­algorithmen Animation von Graphen, Fisch­augen­ansichten und vieles mehr.

a³ – AbsInt Advanced Analyzer

a³ — AbsInt Advanced Analyzera³ ist eine Benutzeroberfläche, die verschiedene AbsInt-Tools zur statischen Programmanalyse (aiT, StackAnalyzer, ValueAnalyzer, TimingExplorer, TimeWeaver) miteinander vereint.


Sonstige Produkte

Informationen zu kundenspezifischen Pro­dukten wie aiTV, aiTraval und aiScan21, zu älteren Produkten wie aiCache und aiCall oder zu bald erscheinenden Produkten wie TimeWeaver, ValueAnalyzer und TimingExplorer bekommen Sie auf Anfrage bei info@absint.com.

Hoch