|
 aiT berechnet
statisch enge Schranken für die WCET (worst-case execution time)
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.
|
|
 Astrée
ist eine Software zur statischen Programmanalyse, die C-Programme
automatisch auf Laufzeitfehler überprüft. Sie bietet sich vor allem
zur Analyse von sicherheitskritischen eingebetteten Anwendungen an.
|
 ValueAnalyzer
ermöglicht den Nachweis, daß in einem eingebetteten Softwaresystem
keine ungültigen Speicherzugriffe aus als Objektcode gelieferten
Third-Party-Modulen auftreten können.
|
 |
 TimingExplorer
enthält eine Reihe von konfigurierbaren Prozessorkern-Modellen,
mit deren Hilfe die Auswirkungen von Hardware-Features auf die
Worst-Case-Ausführungszeit analysiert werden können.
|
 Die von
PAG erzeugten Programmanalysatoren sind außerordentlich effizient
und können dank wohldefinierter Schnittstellen auf einfache Weise
in bestehende Compiler integriert werden.
|
|
 aiSee
liest eine einfache textuelle Beschreibung eines Graphen und berechnet
automatisch ein passendes Layout, das interaktiv erkundet und ausgedruckt
werden kann.
|
 a³
ist eine Benutzeroberfläche, die verschiedene AbsInt-Tools zur statischen Programmanalyse
(aiT, StackAnalyzer, ValueAnalyzer, TimingExplorer, TimeWeaver) miteinander vereint.
|
|
Sonstige Produkte
Informationen zu kundenspezifischen Produkten
wie aiTV, aiTraval und aiScan21, zu älteren Produkten
wie aiCache und aiCall oder zu bald erscheinenden Produkten
wie TimeWeaver bekommen
Sie auf Anfrage bei info@absint.com.
|
