AbsInt Angewandte Informatik 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 Produkte basieren auf einem generischen und generativen Grundgerüst und können daher schnell und optimal an individuelle Kundenwünsche angepasst werden. Diese Anpassungsfähigkeit wurde von uns in vielen Projekten immer wieder unter Beweis gestellt.
Zertifizierungen
Aktuelle Sicherheitsstandards wie ISO 26262, DO-178B, DO-178C, IEC-61508 und EN-50125 fordern, potentielle funktionale und nichtfunktionale Gefahrenstellen zu identifizieren und nachzuweisen, dass 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ässliche Ergebnisse liefern. Somit sind sie für den Zertifizierungseinsatz ideal geeignet.
Die Tool-Qualifizierung wird durch AbsInts Qualification-Support-Kits vereinfacht und automatisiert. Zusätzlich können wir durch QSLCD-Berichte die Sicherheit unserer Entwicklungsprozesse nachweisen.
Qualifikationen
Auszeichnungen und Preise:
2004: Europäischer IST-Preis für aiT-WCET-Analysatoren
2002: SaarLB Wissenschaftspreis für Dr. Daniel Kästner
Produkte
Analyse- und Verifikationssoftware
(aiT: Timing-Validierung für Echtzeitsoftware;
StackAnalyzer: Verifikation der Abwesenheit von Stacküberlauf;
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern;
QSKs zur Zertifizierung und Qualifizierung
CompCert: Verifiziertes Kompilieren
Service/Dienstleistungen
Softwareanalyseservices
Zielgruppe
- Luft- und Raumfahrt
- Automobil- und Eisenbahnindustrie
- Anlagenbau
- Medizintechnik
- Kommunikation
Referenzen/Kunden
Seit vielen Jahren benutzt Airbus France aiT, StackAnalyzer und Astrée in der Entwicklung und DO-178B-Zertifizierung sicherheitskritischer Software für verschiedene Flugzeugfamilien, inklusive der primären Flugsteuerungssoftware des größten Passagierflugzeugs der Welt, A380.
Daimler setzt aiT und StackAnalyzer bei vielen Projekten ein, zum Beispiel in der Entwicklung der Powertrain-Software des neuen Actros.
Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraftanlagen ein, zur statischen Analyse der Ausführungszeit und des Stackverbrauchs.
Mehr auf https://www.absint.com/success_de.htm
