Unsere Dienstleistungen

Entwicklern von eingebetteten Echtzeitsystemen bietet die AbsInt GmbH ihre Fachkenntnis und lang­jährige Erfahrung auf dem Gebiet der statischen Softwareanalyse sowie bei der Entwicklung, Analyse, Optimierung und Integration von Compiler­komponenten an.

Neben unserer 26-jährigen Firmengeschichte profitieren wir auch von mehr als 40 Jahren Forschung an der Universität des Saarlandes und besitzen eine umfassende Praxis­erfahrung mit unter­schiedlichsten Hardwarekomponenten, darunter Standardprozessoren, DSPs, MCUs und ASIPs.

Unsere Fachkenntnis konnten wir immer wieder in vielen erfolgreichen Industrie- und For­schungs­projekten unter Beweis stellen. Zu unseren Kunden zählen führende Unternehmen und For­schungs­einrichtungen in mehr als 40 Ländern weltweit.

Unsere Dienstleistungen umfassen:

• Durchführbarkeitsstudien für Programmanalyse und -optimierung
• Compileroptimierung sowie -anpassung an alle Arten von Hardware
• Optimierung von eingebetteten Anwendungen nach Kundenkriterien wie:
  • Codegröße
  • Ausführungszeit
  • Stromverbrauch
  • Einhaltung von MISRA-Regeln
• Entwicklung von Softwarewerkzeugen zur Analyse und Optimierung von sicherheitskritischen Aspekten eingebetteter Systeme, z. B.:
  • Ausführungszeit im schlimmsten Fall (WCET)
  • Stackverbrauch
  • Laufzeitfehler
  • Cache- und Pipelineverhalten
  • Auswirkungen von Hardwarebugs
• Beratung, Betreuung, Seminare und Fortbildungskurse auf den Gebieten der Compilerentwicklung und statischen Programmanalyse

Bei allen Fragen stehen wir Ihnen gerne zur Verfügung.