| Unsere Partner |
|---|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an.
Unsere Motivation
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 Produkte basieren auf einem generischen und generativen Grundgerüst und können daher schnell und optimal an individuelle Kundenwünsche angepaßt werden. Diese Anpassungsfähigkeit wurde von uns in verschiedenen Projekten immer wieder unter Beweis gestellt.
Analyse- und Verifikationssoftware
Tests und Debugging gehören zu den zeitraubendsten und kostspieligsten Phasen der Softwareentwicklung. Dies gilt insbesondere für Echtzeitsysteme, in denen Berechnungen nicht nur logisch korrekt sein, sondern auch rechtzeitig terminieren müssen. Die Timing-Eigenschaften eines Systems sind jedoch oft schwer zu bestimmen. Einfaches Zeitstoppen reicht in der Regel nicht aus, zumal es oft unpraktikabel – oder gar unmöglich – ist, das System mit allen denkbaren Eingaben zu testen.
Statische Programmanalysen hingegen erlauben es dem Entwickler, auf die langwierigen und fehlerträchtigen Test- und Meßverfahren zu verzichten. Die Analysen basieren auf der Methode der abstrakten Interpretation und sind daher nachweisbar korrekt. Sie laufen vollautomatisch ab – es ist also nicht erforderlich, die schlimmstmöglichen Eingaben manuell herauszufinden. Die Analyseergebnisse sind für alle möglichen Eingaben und alle Ausführungsszenarien gültig.
Timing-Validierung für Echtzeitsoftware
Unser WCET-Analysator aiT ist weltweit das erste Softwarewerkzeug, das automatisch prüfen kann, ob eingebettete Software unter allen Umständen schnell genug reagiert. Seit 2002 wird aiT von Airbus France benutzt, um das korrekte Zeitverhalten von sicherheitskritischer Flugsteuerungssoftware zu garantieren.
Statische Verifikation von Sicherheitsaspekten
Unser StackAnalyzer berechnet automatisch und exakt den Stackbedarf von eingebetteter Software. Damit reduziert er den Entwicklungsaufwand und hilft, kritische Laufzeitfehler und Softwareabstürze zu vermeiden.
Optimierungssoftware
Nachträgliche Optimierung von compilergeneriertem Code erlaubt es, Anwendungen optimal an die jeweilige Hardware anzupassen. Das erhöht die Systemeffizienz bei gleichzeitiger Senkung der Systemkosten.
Unsere Code-Compaction-Suite aiPop reduziert automatisch die Codegröße von angebetteten Anwendungen – ohne deren Funktionalität zu verändern. Software, die mithilfe von aiPop kompaktiert wurde, läuft weltweit in Millionen von Handys und Automobilen.