Toulouse und Saarbrücken, den 28. April 2025: ISIT, ein führendes französisches Unternehmen im Bereich der Betriebs- und Cybersicherheit, und AbsInt Angewandte Informatik GmbH, ein weltweit führender Anbieter fortschrittlicher Werkzeuge zur statischen Softwareanalyse, geben die Unterzeichnung einer neuen Vertriebsvereinbarung bekannt.
Im Rahmen der Vereinbarung übernimmt ISIT den Vertrieb aller AbsInt-Tools in Frankreich und dem Vereinigten Königreich, um der stetig wachsenden Nachfrage nach Softwareverifizierung in sicherheitskritischen Branchen gerecht zu werden, insbesondere in der Luft- und Raumfahrt, der Automobilindustrie, dem Schienenverkehr und der industriellen Automatisierung.
Zu den von ISIT ab sofort vertriebenen AbsInt-Tools zählen:
- Astrée zur statischen Analyse vom C- und C++-Code,
- StackAnalyzer zur statischen Analyse des Stackverbrauchs,
- aiT, TimeWeaver und TimingProfiler zur statischen Analyse der maximalen Ausführungszeit,
- CompCert, der erste formal verifizierte C-Compiler der Welt.
Statische Analyse
des Stackverbrauchs
Statische Analyse
der Laufzeitfehler
Statische Analyse
der Ausführungszeit
Frédéric Maraval, ISIT-Produktmanager, faßt die neue Vereinbarung wie folgt zusammen:
„Die Partnerschaft mit AbsInt ergänzt unser Angebot
und bietet unseren Kunden fortschrittliche, auf formalen Methoden basierende
technologische Lösungen für die Entwicklung sicherheitskritischer Software.
Gemeinsam werden ISIT und AbsInt integrierte, hochwertige Lösungen anbieten,
die die Anforderungen wichtiger Sicherheitsnormen wie ISO 26262, DO-178C und IEC 61508
erfüllen.
Wir freuen uns über die neuen Möglichkeiten, die diese Zusammenarbeit unseren
Kunden in Frankreich und Großbritannien eröffnet.“
AbsInts Geschäftsführer Dr.-Ing Christian Ferdinand fügt hinzu:
„Die Zusammenarbeit mit ISIT
stärkt die Verfügbarkeit unserer Verifizierungstools auf dem französischen
und britischen Markt. ISIT ist ein idealer Partner dank seiner starken Präsenz
in kritischen Branchen in Frankreich und Großbritannien.
AbsInts fortschrittliche Technologien werden somit einer großen Anzahl
von Kunden zugänglich gemacht. Gemeinsam mit ISIT werden wir führenden
französischen und britischen Industrieunternehmen helfen, die Sicherheit
und Zuverlässigkeit ihrer kritischen Systeme zu verbessern.“
Für weitere Informationen besuchen Sie:
