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 auch in vielen Industrie- und Forschungsprojekten immer wieder unter Beweis gestellt.
Firmenvorstellung auf YouTube
Video in Englisch:
| Unsere Partner |
|---|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
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 ist – oder gar unmöglich –, 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.
Verifikation der Abwesenheit von Stacküberlauf
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.
Nachweis der Abwesenheit von Laufzeitfehlern
Unser Programm-Analysator Astrée überprüft C-Programme automatisch auf Laufzeitfehler. Seine sehr präzise Analyseengine kann leicht an das zu analysierende Programm angepaßt werden. Damit ist es möglich, Fehlalarme auf ein Miminum zu reduzieren. Industrielle Flugsteuerungssoftware von fünfhunderttausend Zeilen Code konnte mit Astrée binnen weniger Stunden mit null Fehlalarmen analysiert werden.
Zertifizierung und Qualifizierung
Aktuelle Sicherheitsstandards wie ISO 26262, DO-178B, DO-178C, IEC-61508 und EN-50125 fordern, potentielle funktionale und nichtfunktionale Gefahrenstellen zu identifizieren und nachzuweisen, daß die Software die relevanten Sicherheitsziele nicht verletzt.
Statische Analysatoren auf Basis der abstrakten Interpretation wie z. B. aiT, StackAnalyzer und Astrée sind formale Verifikationswerkzeuge, die hundertprozentig vollständige und verläßliche Ergebnisse liefern. Somit sind sie für den Zertifizierungseinsatz ideal geeignet.
Die Tool-Qualifizierung wird durch AbsInts Qualification-Support-Kits vereinfacht und automatisiert.
Die Firma wurde 1998 gegründet und beschäftigt zurzeit gut 40 Mitarbeiter aus vier Nationen. Unsere Kunden kommen aus mehr als vierzig Ländern weltweit, darunter USA, Kanada, Japan, Australien und fast alle EU-Mitgliedsstaaten. Es bestehen Vertriebsverträge mit lokalen Distributoren in vielen verschiedenen Ländern.