Dem Timing auf der Spur Programme statisch analysieren und optimieren

AbsInt zeigt auf der embedded world aktuelle Lösungen auf dem Gebiet der statischen Programmanalyse und -optimierung.

Dazu gehören unter anderem »aiT Worst-Case Execution Time Analyzer« für die Berechnung von Laufzeitschranken für Echtzeitsysteme, »StackAnalyzer« für die automatische Berechnung des maximalen Stackverbrauchs, »TimingExplorer« auf Basis der »aiT WCET«-Analysetechnik für die Untersuchung von alternativen Systemkonfigurationen in einer frühen Phase, »TimeWeaver« für die Abschätzungen der WCET auf Taskebene aus der Laufzeit von Codestücken oder »ASTRÉE«, eine Software zur statischen C-Programmanalyse.

AbsInt Angewandte Informatik
embedded world: Halle 10, Stand 412