embedded world 2011: Highlights der Halle 10
24. Januar 2011, 20 Bilder
AbsInt (Halle/Stand: 10/412) zeigt aktuelle Lösungen auf dem Gebiet der statischen Programmanalyse und -optimierung. Dazu gehören unter anderem der »aiT Worst-Case Execution Time Analyzer« für die Berechnung von garantierten Laufzeitschranken für Echtzeitsysteme, »StackAnalyzer« für die automatische Berechnung des maximalen Stackverbrauchs, »TimingExplorer« zur Untersuchung der Worst-Case Laufzeit bei alternativen Systemkonfigurationen in frühen Entwicklungsphasen, oder »Astrée«, eine Software zum Nachweis der Abwesenheit von Laufzeitfehlern (Division durch 0, ungültige Pointerzugriffe, arithmetische Überläufe, usw.) in C-Programmen