aiT — WCET-Analysen

aiT — WCET-AnalysenaiT berechnet statisch enge Schranken für die worst-case execution time (WCET) von Tasks in eingebetteten Systemen. Es berücksichtigt dabei deren Cache- und Pipelineverhalten. Die Analyseergebnisse gelten für alle Eingaben und alle möglichen Ausführungsszenarien.

StackAnalyzer — Stackanalyse

StackAnalyzer — StackanalyseStackAnalyzer berechnet automatisch und exakt den maximalen Stackverbrauch von eingebetteten Anwendungen für jeden Programmpunkt. Die Analyseergebnisse werden im Aufruf- und Kontrollflußgraphen anschaulich dargestellt. Laufzeitfehler wegen Stacküberlauf gehören der Vergangenheit an.


aiPop — Codekompaktierung

aiPop — CodekompaktierungaiPop optimiert eingebettete Software nach Kriterien wie Ausführungszeit oder Codegröße. Durch Einsatz von aiPop werden Kompaktionsraten von über 20% für real existierende Anwendungen erreicht (u.a. Software für Handys). Das erlaubt 25% mehr Funktionalität bei gleicher Speicherausstattung.


aiSee — Graphvisualisierung

aiSee — GraphvisualisierungaiSee liest eine einfache textuelle Beschreibung eines Graphen und berechnet automatisch ein passendes Layout, das interaktiv erkundet und ausgedruckt werden kann. aiSee ermöglicht das Verschachteln von Graphen und bietet neben 15 Layoutalgorithmen Animation von Graphen, Fischaugenansichten und vieles mehr.


PAG — Statische Programmanalyse

PAG — Statische ProgrammanalyseDie von PAG erzeugten Programmanalysatoren sind nicht nur außerordentlich effizient; dank wohldefinierter Schnittstellen können sie auch auf einfache Weise in bestehende Compiler integriert werden.


Sonstige Produkte

Informationen zu kundenspezifischen Produkten wie aiV, aiTraval und aiScan166, oder zu älteren Produkten wie aiCache und aiCall bekommen Sie auf Anfrage bei info@absint.com.

Hoch