Seit 30 Jahren bietet AdaCore essenzielle Werkzeuge für den Bau von zuverlässiger und sicherer Software an. Während dieser Jahrzehnte waren die Programmiersprache Ada und frei lizenzierte Open-Source-Software integrale Bestandteile der Mission von AdaCore.
Der CEO und Mitbegründer von AdaCore, Franco Gasperoni, ist stolz auf die Verbindung des Unternehmens mit Ada und seinen Ada 95-Pionieren wie Tucker Taft und dem verstorbenen Robert Dewar (ebenfalls Mitbegründer zusammen mit Cyrille Comar, Richard Kenner und Ed Schonberg):
„Adas präzise Programmierung, die Spezifikationen, Typisierung und Kodierung kombiniert, bleibt im Kern unseres Ansatzes. In den letzten zehn Jahren haben wir die präzise Programmierung mit der automatisierten Verifikation in SPARK/Ada erweitert. Es ist nicht überraschend, dass wir, während wir unsere Palette unterstützter Sprachen erweitern, Rust neben Ada, SPARK und den weniger präzisen, aber wesentlichen Sprachen C/C++ aufgenommen haben.“
AdaCore war auch ein Pionier bei der Entwicklung eines innovativen Geschäftsmodells zur Kommerzialisierung frei lizenzierter Open-Source-Software zu einer Zeit, als deren Vorteile noch nicht so bekannt und anerkannt waren, wie sie es heute sind. AdaCore fördert die kollaborative und dynamische Interaktion zwischen kommerziellen Nutzern und Open-Source-Technologien durch Beiträge zur Free Software Foundation und Plattformen wie GitHub.
Im Laufe der Jahre sind Partnerschaften mit anderen Unternehmen immer wichtiger geworden. Einer dieser Partner ist Wind River. Paul Parkinson ist Field Engineering Director, Aerospace & Defence, EMEA bei Wind River:
„Ich erinnere mich gerne an meinen ersten Besuch im Pariser Büro von AdaCore im Dezember 2000, um Franco Gasperoni und das AdaCore-Team zu treffen und die Feldintegration von GNAT Pro von AdaCore und Tornado IDE und VxWorks 5.4 von Wind River zu besprechen. Die technische Zusammenarbeit blühte zu einer starken Partnerschaft auf. Rückblickend auf zwei Jahrzehnte der Zusammenarbeit ist es beeindruckend zu sehen, wie AdaCores Führungsrolle in Ada-Technologien und die VxWorks-Plattformen von Wind River erfolgreich von vielen gemeinsamen Kunden in sicherheitskritischen Avionikprogrammen eingesetzt wurden.“
Der CTO von AdaCore, Arnaud Charlet, feiert den Fokus auf sichere Software und wie sie dadurch eine herausragende Marktposition erlangt haben:
„Wir haben vor 30 Jahren mit einem Ada-Frontend für GCC begonnen. Wir haben dann schrittweise auf eine vollständig integrierte Entwicklungsumgebung erweitert, die auf mehreren Plattformen unterstützt wird, ergänzt durch Debugging, Quellcode-Navigation, Vervollständigung, Formatierung, fortschrittliche statische und dynamische Analysefähigkeiten sowie Unterstützung für C, C++ und Rust. Unser Fokus auf sichere Software hat uns in eine einzigartige Position gebracht, in der wir sehr langfristigen Support und Wartung sowie modernste Sicherheitsgarantien für die Software-Lieferkette anbieten können.“
AdaCore ist dafür bekannt, die Bedürfnisse seiner Kunden an erster Stelle zu setzen. Quentin Ochem, der seit 20 Jahren bei AdaCore arbeitet und jetzt Chief Product and Revenue Officer ist, erklärt:
„Ich hatte die Gelegenheit, zwei der drei Jahrzehnte des Bestehens des Unternehmens mitzuerleben. Ich bin zu AdaCore gekommen, weil ich an Compilern arbeiten und Ada verwenden wollte. Allerdings war ich begeistert, als das Unternehmen neue technologische Wege einschlug, statische Analyse, strukturelle Codeabdeckung, Zertifizierung oder formale Beweise. Heute setzen wir diesen Kurs fort, ergänzen das Angebot mit neuen Programmiersprachen und Werkzeugen und streben danach, die vertrauenswürdige, zentrale Anlaufstelle für Entwickler von Software mit hohen Integritätsanforderungen zu sein. Ich freue mich, Teil dieser Reise zu sein, und mehr denn je freue ich mich auf die kommenden Jahrzehnte!“