AdaCore

AdaCore ist ein internationaler Softwareanbieter, der sich auf Entwicklungswerkzeuge und Laufzeitumgebungen für die Programmiersprachen Ada und SPARK spezialisiert hat. Das Unternehmen bedient vor allem sicherheitskritische Industrien wie Luft- und Raumfahrt, Verteidigung, Bahn, Automotive und Medizintechnik, in denen funktionale Sicherheit, Zertifizierbarkeit und Zuverlässigkeit im Vordergrund stehen.

Überblick

Typ: Firma (B2B-Software, Entwicklerwerkzeuge, Embedded/Safety-Critical)
Gründung: 1994
Hauptsitz: New York City, USA
Europäischer Hauptsitz: Paris, Frankreich
Weitere Standorte: Unter anderem Grenoble, Toulouse, Kaiserslautern (DE), Stockholm, Madrid, Bristol
Mitarbeiter: rund 150–200
Website: adacore.com
Eigentümer: Privat geführt (Gründer- und Mitarbeitergesellschaft)

Produkte und Services

AdaCore bietet ein breites Portfolio an Werkzeugen rund um das Ada-/SPARK-Ökosystem. Die Produkte sind eng an die Anforderungen sicherheitskritischer Normen wie DO-178C (Avionik), EN 50128 (Bahn), ISO 26262 (Automotive) und IEC 61508 angelehnt.

Produkt	Beschreibung
GNAT Pro	Professionelle Ada-Entwicklungsumgebung mit Compiler, Debugger, Bibliotheken und IDE (GNAT Studio). Verschiedene Editionen für Native, Cross- und Embedded-Targets.
SPARK Pro	Statisches Analyse- und formales Verifikationswerkzeug für die SPARK-Sprache, ermöglicht mathematischen Nachweis von Programmkorrektheit.
CodePeer	Statische Code-Analyse für Ada zur Erkennung von Laufzeitfehlern und Sicherheitslücken.
QGen	Qualifizierter Modell-basierter Code-Generator für Simulink/Stateflow-Modelle in sicherheitskritischen Anwendungen.
GNATcoverage	Strukturelle Code-Abdeckungsanalyse (u. a. MC/DC) für Zertifizierungsnachweise.
GNAT Studio	Integrierte Entwicklungsumgebung für Ada, C und C++.
Libadalang	Bibliothek für semantische Analyse und Tooling rund um Ada-Quellcode.
Learn.adacore.com	Kostenlose Lernplattform für Ada und SPARK.

Ergänzend bietet AdaCore Schulungen, Engineering-Services, Zertifizierungsunterstützung (Qualification Kits) sowie langjährigen Support für ältere Compiler- und Laufzeitversionen – ein für sicherheitskritische Projekte mit Lebenszyklen von 20+ Jahren essenzielles Angebot.

Geschichte und Entwicklung

AdaCore entstand 1994 aus dem GNAT-Projekt, einem Ada-Compiler, der ursprünglich an der New York University im Auftrag des US Air Force Ada 9X Projects unter Leitung von Robert Dewar und Edmund Schonberg entwickelt wurde. GNAT war der erste freie Ada-Compiler und wurde als Teil der GNU Compiler Collection (GCC) veröffentlicht.

Meilensteine:

1994: Gründung als „Ada Core Technologies” (ACT) in New York; parallel Gründung von ACT Europe in Paris
2000er: Zusammenführung zu „AdaCore”; Expansion in den europäischen Markt mit Fokus auf Avionik und Verteidigung
2009: Einführung von CodePeer für statische Analyse
2014: Start der SPARK-2014-Toolchain gemeinsam mit Altran (heute Capgemini Engineering)
2016 ff.: Verstärkter Fokus auf Automotive und ISO 26262
2019: Übernahme von Componolit-nahen Projekten und Ausbau des Embedded-Geschäfts
2020er: Investitionen in Rust-Integration, MISRA-C-Analyse und formale Methoden; Ada-Support für Multicore- und Mixed-Criticality-Systeme

Team und Führung

Robert Dewar – Mitgründer, bis zu seinem Tod 2015 zentrale Figur des Unternehmens und emeritierter NYU-Professor
Edmund Schonberg – Mitgründer, NYU-Professor
Cyrille Comar – Mitgründer, President AdaCore Europe
Arnaud Charlet – Managing Director
Quentin Ochem – Chief Product & Revenue Officer

AdaCore ist traditionell stark akademisch geprägt; viele Mitarbeiter haben einen Hintergrund in Compilerbau, formalen Methoden und Programmiersprachen-Forschung.

Investoren und Eigentümer

AdaCore ist bis heute privat und unabhängig geführt. Das Unternehmen hat – ungewöhnlich für die Softwarebranche – keinerlei externes Venture Capital oder Private Equity aufgenommen und befindet sich im Besitz der Gründer und Mitarbeiter. Finanziert wird das Wachstum organisch aus dem laufenden Geschäft mit langfristigen Support- und Lizenzverträgen.

Damit gibt es keine Exit-Prognose: mangels PE-/VC-Investor existiert kein Fondslaufzeit-Horizont, der einen Verkauf erzwingen würde. Ein Exit käme am ehesten durch eine strategische Übernahme in Frage – etwa durch einen größeren Anbieter von Embedded-Entwicklungswerkzeugen.

Konkurrenz

Der Markt für Werkzeuge in sicherheitskritischer Softwareentwicklung ist konsolidiert und von spezialisierten Anbietern geprägt:

Wettbewerber	Überschneidungsbereich
Green Hills Software	Compiler, RTOS und Tools für Safety-Critical Embedded
Wind River	VxWorks-Ökosystem, Entwicklertools, Zertifizierung
LDRA	Statische Analyse, Test- und Zertifizierungswerkzeuge
Vector Informatik	Automotive-Toolchain, statische Analyse (PC-lint Plus)
Parasoft	Statische Analyse und Testautomatisierung (C/C++, MISRA)
Perforce (Helix QAC, Klocwork)	Statische Analyse für sicherheitskritischen C/C++-Code
Synopsys (Coverity)	Statische Analyse und Security-Testing
IAR Systems	Embedded-Compiler und Build-Tools
ANSYS SCADE	Modellbasierte Entwicklung mit qualifizierter Code-Generierung
MathWorks (Simulink/Embedded Coder)	Modellbasierte Code-Generierung für sicherheitskritische Systeme

Im engeren Sinn hat AdaCore mit seinem Fokus auf Ada/SPARK und formale Methoden nur wenige direkte Wettbewerber; der Wettbewerb findet eher auf Ebene der Gesamt-Toolchain und der Programmiersprachenwahl (Ada vs. C/C++ vs. Rust) statt.