Entwicklung sicherheitskritischer Software: AbsInt und ISIT schließen Vertriebsvereinbarung

Safety und Security Entwicklung sicherheitskritischer Software: AbsInt und ISIT schließen Vertriebsvereinbarung

23.05.2025 Von Stefanie Eckardt 1 min Lesedauer

Anbieter zum Thema

ISIT und AbsInt Angewandte Informatik GmbH haben eine neue Vertriebsvereinbarung unterzeichnet. Im Rahmen dessen übernimmt ISIT den Vertrieb aller AbsInt-Tools in Frankreich und Großbritannien, um der stetig wachsenden Nachfrage nach Software-Verifizierung in sicherheitskritischen Branchen gerecht zu werden, insbesondere in der Luft- und Raumfahrt, der Automobilindustrie und dem Schienenverkehr.

Absint und ISIT haben eine Vertriebsvereinbarung für Frankreich und Großbritannien für die Werkzeuge von Absint getroffen, wie Astrée. Astrée ist eine Software zur statischen Analyse, die C- und C++-Code automatisch auf Laufzeitfehler und Regelverletzungen überprüft.(Bild: Absint) — Absint und ISIT haben eine Vertriebsvereinbarung für Frankreich und Großbritannien für die Werkzeuge von Absint getroffen, wie Astrée. Astrée ist eine Software zur statischen Analyse, die C- und C++-Code automatisch auf Laufzeitfehler und Regelverletzungen überprüft.
(Bild: Absint)

„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“, freut sich Frédéric Maraval, ISIT-Produktmanager, über die neue Vereinbarung.

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.

(se)

Sind eine Kooperation für eine bessere Software-Integration eingegangen: Hitex und TrustInSoft. (Bild: frei lizensiert bei Pixabay)

Vom 09.04. bis 11.4.2024 versammelt sich wieder die Embedded-Community in Nürnberg. (Bild: NuernbergMesse/Frank Boxler)

(ID:50431561)

Jetzt Newsletter abonnieren

Verpassen Sie nicht unsere besten Inhalte

Geschäftliche E-Mail

Bitte geben Sie eine gültige E-Mailadresse ein.

Mit Klick auf „Newsletter abonnieren“ erkläre ich mich mit der Verarbeitung und Nutzung meiner Daten gemäß Einwilligungserklärung (bitte aufklappen für Details) einverstanden und akzeptiere die Nutzungsbedingungen. Weitere Informationen finde ich in unserer Datenschutzerklärung. Die Einwilligungserklärung bezieht sich u. a. auf die Zusendung von redaktionellen Newslettern per E-Mail und auf den Datenabgleich zu Marketingzwecken mit ausgewählten Werbepartnern (z. B. LinkedIn, Google, Meta).

Stand: 08.12.2025

Es ist für uns eine Selbstverständlichkeit, dass wir verantwortungsvoll mit Ihren personenbezogenen Daten umgehen. Sofern wir personenbezogene Daten von Ihnen erheben, verarbeiten wir diese unter Beachtung der geltenden Datenschutzvorschriften. Detaillierte Informationen finden Sie in unserer Datenschutzerklärung.

Einwilligung in die Verwendung von Daten zu Werbezwecken

Ich bin damit einverstanden, dass die Vogel Communications Group GmbH & Co. KG, Max-Planckstr. 7-9, 97082 Würzburg einschließlich aller mit ihr im Sinne der §§ 15 ff. AktG verbundenen Unternehmen (im weiteren: Vogel Communications Group) meine E-Mail-Adresse für die Zusendung von redaktionellen Newslettern nutzt. Auflistungen der jeweils zugehörigen Unternehmen können hier abgerufen werden.

Der Newsletterinhalt erstreckt sich dabei auf Produkte und Dienstleistungen aller zuvor genannten Unternehmen, darunter beispielsweise Fachzeitschriften und Fachbücher, Veranstaltungen und Messen sowie veranstaltungsbezogene Produkte und Dienstleistungen, Print- und Digital-Mediaangebote und Services wie weitere (redaktionelle) Newsletter, Gewinnspiele, Lead-Kampagnen, Marktforschung im Online- und Offline-Bereich, fachspezifische Webportale und E-Learning-Angebote. Wenn auch meine persönliche Telefonnummer erhoben wurde, darf diese für die Unterbreitung von Angeboten der vorgenannten Produkte und Dienstleistungen der vorgenannten Unternehmen und Marktforschung genutzt werden.

Meine Einwilligung umfasst zudem die Verarbeitung meiner E-Mail-Adresse und Telefonnummer für den Datenabgleich zu Marketingzwecken mit ausgewählten Werbepartnern wie z.B. LinkedIN, Google und Meta. Hierfür darf die Vogel Communications Group die genannten Daten gehasht an Werbepartner übermitteln, die diese Daten dann nutzen, um feststellen zu können, ob ich ebenfalls Mitglied auf den besagten Werbepartnerportalen bin. Die Vogel Communications Group nutzt diese Funktion zu Zwecken des Retargeting (Upselling, Crossselling und Kundenbindung), der Generierung von sog. Lookalike Audiences zur Neukundengewinnung und als Ausschlussgrundlage für laufende Werbekampagnen. Weitere Informationen kann ich dem Abschnitt „Datenabgleich zu Marketingzwecken“ in der Datenschutzerklärung entnehmen.

Falls ich im Internet auf Portalen der Vogel Communications Group einschließlich deren mit ihr im Sinne der §§ 15 ff. AktG verbundenen Unternehmen geschützte Inhalte abrufe, muss ich mich mit weiteren Daten für den Zugang zu diesen Inhalten registrieren. Im Gegenzug für diesen gebührenlosen Zugang zu redaktionellen Inhalten dürfen meine Daten im Sinne dieser Einwilligung für die hier genannten Zwecke verwendet werden. Dies gilt nicht für den Datenabgleich zu Marketingzwecken.

Recht auf Widerruf

Mir ist bewusst, dass ich diese Einwilligung jederzeit für die Zukunft widerrufen kann. Durch meinen Widerruf wird die Rechtmäßigkeit der aufgrund meiner Einwilligung bis zum Widerruf erfolgten Verarbeitung nicht berührt. Um meinen Widerruf zu erklären, kann ich als eine Möglichkeit das unter https://contact.vogel.de abrufbare Kontaktformular nutzen. Sofern ich einzelne von mir abonnierte Newsletter nicht mehr erhalten möchte, kann ich darüber hinaus auch den am Ende eines Newsletters eingebundenen Abmeldelink anklicken. Weitere Informationen zu meinem Widerrufsrecht und dessen Ausübung sowie zu den Folgen meines Widerrufs finde ich in der Datenschutzerklärung, Abschnitt Redaktionelle Newsletter.