|
 aiT 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
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
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
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.
|
 Die 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.
|
