Die statische Analyse und formale Verifikation sicherheitskritischer Software prägen das Leistungsspektrum der AbsInt Angewandte Informatik GmbH. Zu den Produkten zählen aiT, TimeWeaver, Astrée und RuleChecker, die eine sichere und präzise Analyse... von Software ermöglichen. aiT ermittelt obere Grenzen für die Worst-Case-Ausführungszeit von Anwendungen und berücksichtigt dabei Cache- und Pipeline-Verhalten. TimeWeaver integriert statische Analysen mit nicht-invasivem Tracing, während Astrée die Abwesenheit von Laufzeitfehlern in C- und C++-Anwendungen formal nachweist. Zudem prüft RuleChecker die Konformität des Codes mit gängigen Richtlinien wie MISRA und AUTOSAR. Diese Tools finden Anwendung in verschiedenen Branchen, unter anderem in der Luftfahrt und der Automobilindustrie. Kunden wie Airbus und Daimler setzen auf die Lösungen von AbsInt, um sicherheitskritische Software zuverlässig zu entwickeln. Die mathematisch bewiesene Korrektheit des Kompilierungsprozesses durch CompCert trägt dazu bei, Misskompilationsprobleme zu vermeiden und erhöht somit die Softwarequalität. Mit einer über 20-jährigen Erfahrung und Partnerschaften, unter anderem mit dem Deutschen Zentrum für Luft- und Raumfahrt, hat sich AbsInt als verlässlicher Anbieter etabliert.
Steigern Sie jetzt Ihr Geschäft, indem Sie Ihr Unternehmensprofil beanspruchen und die volle Kontrolle über Ihre Unternehmensinformationen erhalten sowie leistungsstarke Tools freischalten, um mit Kunden in Kontakt zu treten.
Vorteile des Beanspruchens Ihres Profils:
Direkt auf Kundenbewertungen antworten
Unternehmensinformationen und Öffnungszeiten aktualisieren
Zugriff auf Analysen und Kundeninformationen
Meldung an ProvenExpert
Qualitätssicherung hat für ProvenExpert unter strenger Gewährleistung der Nutzungsbedingungen und Bewertungsrichtlinien höchste Priorität.
Sind Sie dennoch der Meinung, dass ein Verstoß gegen die Bestimmungen vorliegen sollte, können Sie diesen anhand des folgenden Kontaktformulars zur Prüfung durch das ProvenExpert-Qualitätssicherungsteam melden.
E-Mail an Bewerter
* Pflichtfelder
Sie haben diese Bewertung bereits auf gepostet. Eine erneute Veröffentlichung könnte zu einer Dopplung führen. Weiter?
Stellen Sie sicher, dass Ihre Unternehmensdaten (z.B. Adresse, Telefonnummer) auf vielen Plattformen, einschließlich Google und Facebook, korrekt und zuverlässig sind.