AbsInt GmbH

AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an.

Der heutige Markt für eingebettete Systeme wird durch ständig wachsende Softwarekomplexität und immer kürzere Entwicklungszyklen geprägt. Der Anteil sicherheitskritischer Anwendungen steigt stetig an. AbsInts Produkte helfen Entwicklern von Echtzeitsystemen,

• die Systemsicherheit und -effizienz zu erhöhen,
• die Entwicklungszyklen weiter zu verkürzen und
• den Aufwand für Tests und Fehlerbeseitigung zu senken.

Unsere Kernprodukte sind:

• aiT WCET Analyzer: Bestimmung der längstmöglichen Ausführungszeit
• StackAnalyzer: Bestimmung des maximalen Stackverbrauchs
• Astrée: Nachweis der Abwesenheit von Laufzeitfehlern

Weitere Produkte:

• Programmanalysen und Optimierung
• Optimierende Compiler für Microcontroller und Digitale Signalprozessoren (DSPs)