AdaCore schnappt sich Dresdner Cybersecurity-Experten
AdaCore kauft Componolit. Die 2017 gegrĂĽndete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert.
(Bild: Kodda / Shutterstock.com)
- Alexander Neumann
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen vor allem rund um die Programmiersprache Ada, hat die Ăśbernahme der Componolit GmbH bekannt gegeben. Das zugekaufte Dresdner Unternehmen verfĂĽgt demnach ĂĽber Expertise im Bereich vertrauenswĂĽrdiger Software, komponentenbasierter Systeme und formaler Verifikation, bei der Korrektheit von Software mit mathematischen Methoden untersucht wird.
Videos by heise
Mit der Akquisition Componolits will sich AdaCore ein zusätzliches Standbein schaffen, um den Marktanteil in Deutschland auszubauen und zugleich Nachfrage nach hochsicherer Software besser bedienen zu können. Da sollen Fachwissen und Erfahrung der Componolit-Belegschaft helfen.
Expertise aus Dresden
Componolit wurde 2017 gegrĂĽndet. Das Unternehmen bietet Softwarekomponenten und Werkzeuge fĂĽr die formale Verifikation vertrauenswĂĽrdiger Systeme fĂĽr Anwender aus den Bereichen Hochsicherheit, mobile Sicherheit und Industrial Internet of Things an (IoT).
Das bedeutendste Produkt des Unternehmens, RecordFlux, ist ein Toolset und zugleich eine Spezifikationssprache zur Formalisierung, Beschreibung, Prüfung und Implementierung binärer Kommunikationsprotokolle. Die von Componolit entwickelten Komponenten, Bibliotheken und Werkzeuge sind als Open-Source-Software unter der GNU Affero General Public License verfügbar.
(ane)
