embedded world 2014: Software und Entwicklungstools
17. Februar 2014, 11 Bilder
AbsInt hat sich auf die statische Programmanalyse spezialisiert und berechnet mit dem Tool aiT die »Worst-Case Execution Time« vonEchtzeitsystemen. StackAnalyzer bestimmt automatisch den maximalen Stack-Verbrauch von eingebetteten Anwendungen. Astrée ist eine Software zum Nachweis der Abwesenheit von Laufzeitfehlern in C-Code.