Anschrift
Science Park 1
66123 Saarbrücken
66123 Saarbrücken
Frühere Anschriften: 0
Keine frühere Adresse vorhanden
Keine frühere Adresse vorhanden
Kontaktmöglichkeit
Telefon: 0681/383600
Fax: im Vollprofil enthalten
E-Mail: im Vollprofil enthalten
Webseite: www.absint.com
Netzwerke:
Fax: im Vollprofil enthalten
E-Mail: im Vollprofil enthalten
Webseite: www.absint.com
Netzwerke:
Zusammenfassung der Unternehmens-Webseite
AbsInt bietet spezialisierte Tools und Dienstleistungen für die statische Analyse und formale Verifikation sicherheitskritischer Software in Branchen wie Luftfahrt, Automobil, Energie und Raumfahrt. Die Produkte unterstützen die Entwicklung, Prüfung und Optimierung von Software für sicherheitsrelevante Anwendungen, beispielsweise in Flugsteuerungssystemen, Triebwerkssoftware und Satelliten. Zu den Kernleistungen gehören die Analyse von Worst-Case-Ausführungszeiten, Stack-Nutzung, Laufzeitfehler und die Einhaltung von Sicherheitsstandards wie ISO 26262 und DO-178C. Das Unternehmen arbeitet mit namhaften Kunden wie Airbus, Daimler, NASA und ESA zusammen, um die Zuverlässigkeit und Sicherheit ihrer Software zu gewährleisten.
Keywords
Verifikation
statische Analyse
Standards
sicherheitskritische Software
Raumfahrt
Luftfahrt
formale Verifikation
Fehlerfreiheit
Energie
Automobil
Details zum Unternehmen
Gründung: keine Angabe
Mitarbeiterzahl: im Vollprofil enthalten
Stammkapital: keine Angabe
Branche: 1 im Vollprofil enthalten
Mitarbeiterzahl: im Vollprofil enthalten
Stammkapital: keine Angabe
Branche: 1 im Vollprofil enthalten
Register
Registernr.: HRB 11234
Amtsgericht: Saarbrücken
Rechtsform:
Amtsgericht: Saarbrücken
Rechtsform:
Kurzzusammenfassung zum Unternehmen
Die Absint Angewandte Informatik GmbH aus Saarbrücken ist im Handelsregister Saarbrücken unter der Nummer HRB 11234 verzeichnet. Nach der Gründung am hat die Absint Angewandte Informatik GmbH ihren Standort nicht geändert. Die Absint Angewandte Informatik GmbH weist zur Zeit einen Entscheider in der ersten Führungsebene auf (z.B. Geschäftsführer und Prokuristen).
(Letzte Profiländerung: 13.05.2025)