Company News

16. Feb 2021

AdaCore übernimmt Componolit für besseren Schutz 
sicherheitskritischer Systeme

Paris, 16. Februar 2021 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, hat am 1. Februar 2021 die Übernahme der Componolit GmbH bekanntgegeben. Das Dresdner Unternehmen ist auf vertrauenswürdige Software, komponentenbasierte Systeme und formale Verifikation spezialisiert, bei der die Korrektheit von Software mit mathematischen Methoden untersucht wird.

Mit der Akquisition von Componolit schafft sich AdaCore ein zusätzliches Standbein, um seinen wachsenden Marktanteil in Deutschland auszubauen und zugleich den schnell steigenden Bedarf an hochsicherer Software besser bedienen zu können. Dafür bringen die Mitarbeiterinnen und Mitarbeiter von Componolit umfangreiches und komplementäres Fachwissen sowie große Erfahrung in den Bereichen Cybersecurity und der Anwendung formaler Methoden im Software-Testen mit.

Die 2017 gegründete Componolit GmbH bietet Softwarekomponenten und Tools für die formale Verifikation vertrauenswürdiger Systeme für Anwender aus den Bereichen Hochsicherheit, mobile Sicherheit und industrielles IoT (IIoT) an. Die Flaggschiff-Technologie des Unternehmens, RecordFlux, ist ein Toolset und zugleich eine Spezifikationssprache zur Formalisierung, Beschreibung, Prüfung und Implementierung binärer Kommunikationsprotokolle. AdaCore wird mit der Componolit-Technologie die eigene Produktpalette für automatisiertes Testen und statische Analyse-Tools um neue Funktionen erweitern.

„In einer Welt, in der vernetzte Objekte wie autonome Fahrzeuge und unbemannte Drohnen immer wichtiger werden, ist die Absicherung der Software, die diese Geräte steuert, eine der größten Herausforderungen“, sagt Cyrille Comar, Mitgründer und Präsident von AdaCore Europe. „Mit der Übernahme von Componolit können wir nun die Technologie und Expertise anbieten, mit der unsere Kunden diese Herausforderung meistern.“

„Mit dem Zusammenschluss adressieren wir eines der wichtigsten Sicherheitsanliegen der Entwickler militärischer ‚Systems of Systems‘ (SoS), die in hohem Maße von sicherer Kommunikation abhängig sind“, ergänzt Romain Berrendonner, Security Solution Architect bei AdaCore. „Mit RecordFlux stellen wir ihnen die Vorteile unserer Technologien für formale Methoden zur Verfügung, damit sie hochsichere Netzwerkschichten für ihre kritischen Anwendungen entwickeln können.“

„Wir freuen uns, die langjährige Zusammenarbeit mit AdaCore auf eine neue Ebene zu heben und uns ihrem exzellenten Team hochqualifizierter Spezialisten anschließen zu können“, sagt Alexander Senier, Gründer und CEO von Componolit. „Fehler im Softwarecode sind nach wie vor eine der Hauptursachen für Cybersecurity-Vorfälle. Durch die Integration von RecordFlux mit den Technologien von AdaCore können Unternehmen Software-Bugs noch besser vermeiden und ihre vernetzten kritischen Systeme optimal vor Cyberangriffen schützen.“

Über AdaCore

AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers.

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com.

Pressekontakte

AdaCore
Juliana Silva
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

​PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803

Cookies helfen uns bei der Bereitstellung unserer Dienste. Mit der Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir technisch notwendige Cookies verwenden.
Ich bin einverstanden Mehr Info