Der entscheidende Unterschied zu vielen anderen Sprachen ist die Philosophie der bewussten Strenge. Wo manche Sprachen dem Entwickler möglichst viel Freiheit lassen, macht Ada das Gegenteil: Sie zwingt dazu, Absichten explizit auszudrücken, und lässt den Compiler möglichst viele Fehler bereits vor der Ausführung erkennen. Diese Haltung ist keine Schikane, sondern Programm – sie folgt der Überzeugung, dass ein Fehler, den der Compiler meldet, ungleich billiger ist als ein Fehler, der erst im Betrieb eines Flugzeugs oder einer Bahnanlage auffällt. Für Teams bedeutet das: Code, dessen Annahmen sichtbar und überprüfbar sind.
Drei Eigenschaften definieren Ada:
Ada begann als Sprache für militärische und behördliche Großsysteme, deren Zuverlässigkeit nicht verhandelbar war. Aus diesem eng umrissenen Ursprung heraus hat sich Ada zu einer festen Größe überall dort entwickelt, wo Sicherheit und Zuverlässigkeit im Vordergrund stehen. Heute findet man Ada vor allem in der Luft- und Raumfahrt, im Bahnverkehr, in der Verteidigung sowie in Teilen der Medizin- und Industrietechnik. Sie ist keine Sprache für die breite Masse an Alltagssoftware, sondern eine spezialisierte Wahl für eine anspruchsvolle Nische – und in dieser Nische außerordentlich stark.
Für den deutschen Mittelstand ist Ada damit kein Allrounder wie andere Sprachen, sondern gezielt dann relevant, wenn ein Produkt oder eine Komponente hohe Anforderungen an Nachweisbarkeit und Ausfallsicherheit erfüllen muss. Ein Zulieferer für Bahntechnik, ein Hersteller medizinischer Geräte oder ein Anbieter industrieller Steuerungen kann mit Ada auf eine Sprache setzen, deren gesamte Ausrichtung auf genau diese Anforderungen zugeschnitten ist.
Viele moderne Sprachen wollen möglichst breit einsetzbar sein und für viele Zwecke gut genug funktionieren. Ada geht bewusst den umgekehrten Weg: Sie will nicht überall die schnellste oder bequemste Wahl sein, sondern dort, wo es auf Korrektheit ankommt, die verlässlichste. Dieser Fokus ist Adas eigentliche Stärke – aber auch der Grund, warum sie außerhalb ihrer Domäne selten anzutreffen ist.
Wer Ada als „veraltete Militärsprache“ abtut, unterschätzt, wie modern die Sprache inzwischen ist und wie konsequent sie über die Jahre fortgeschrieben wurde – und wer sie umgekehrt für jede beliebige Anwendung einsetzen will, überdehnt ihren Zweck, etwa bei schnellen Datenauswertungen oder Web-Frontends. Die ehrliche Einordnung dieser Bandbreite ist das Ziel dieses Artikels.
Die strenge, statische Typisierung ist Adas prägendstes Merkmal. Anders als bei dynamisch typisierten Sprachen ist der Typ jeder Größe fest deklariert und wird bereits bei der Übersetzung geprüft. Ada geht dabei weiter als die meisten Sprachen: Man kann eigene Typen mit festgelegten Wertebereichen definieren, und der Compiler stellt sicher, dass diese Grenzen eingehalten werden. Eine Temperatur und eine Stückzahl mögen intern beide ganze Zahlen sein – für Ada sind es dennoch verschiedene Typen, die nicht versehentlich vermischt werden dürfen.
Der praktische Nutzen ist erheblich: Eine ganze Klasse von Verwechslungs- und Bereichsfehlern, die in nachlässigeren Sprachen erst im Betrieb auffallen, meldet der Ada-Compiler bereits vor der Ausführung. Der Preis dafür ist ein höherer anfänglicher Aufwand – man muss mehr im Voraus deklarieren und explizit machen. In der Domäne, für die Ada gedacht ist, ist dieser Aufwand jedoch keine Bürde, sondern eine bewusste Investition in Zuverlässigkeit.
Ada-Code wird in nativen Maschinencode übersetzt. Das bringt zwei für die Zieldomäne entscheidende Eigenschaften: hohe Ausführungsleistung und – oft noch wichtiger – ein vorhersehbares Laufzeitverhalten. In sicherheitskritischen und echtzeitfähigen Systemen zählt nicht nur, dass etwas schnell geschieht, sondern dass es zuverlässig innerhalb bekannter Grenzen geschieht. Ada und seine üblichen Laufzeitmodelle sind darauf ausgelegt, dieses vorhersehbare Verhalten zu ermöglichen.
Für den Betrieb bedeutet das: Es gibt keinen Interpreter, der zur Laufzeit dazwischentritt, und in vielen sicherheitskritischen Konfigurationen wird bewusst auf schwer vorhersehbare Mechanismen verzichtet. Diese Nüchternheit macht Ada für eingebettete Steuerungen so geeignet – auf die Verlässlichkeit und Zertifizierbarkeit gehen wir in späteren Kapiteln genauer ein.
Der augenfälligste Unterschied zu Sprachen wie C ist die Wortreichtum und Klarheit der Ada-Syntax. Blöcke werden mit ausgeschriebenen Schlüsselwörtern begonnen und beendet, Bezeichner sind meist sprechend, und vieles muss explizit deklariert werden. Das macht Ada-Code auf den ersten Blick ausführlicher – doch genau diese Ausführlichkeit ist gewollt: Sie macht die Absicht des Codes unmittelbar sichtbar und reduziert Mehrdeutigkeiten. Ein Leser, der das Programm nicht geschrieben hat, findet sich in gut geschriebenem Ada-Code oft erstaunlich schnell zurecht – ein wichtiger Faktor für Systeme, die über Jahrzehnte gewartet werden.
Ada zwingt Entwickler dazu, Annahmen offenzulegen, statt sie zwischen den Zeilen zu verstecken. Wertebereiche von Zahlen, die Sichtbarkeit von Modulen, die Trennung von Schnittstelle und Implementierung – all das wird explizit angegeben. Diese Klarheit ist einer der Gründe, warum sich Ada-Projekte auch bei Personalwechseln beherrschbar halten lassen: Wer den Code liest, muss weniger raten und findet die wesentlichen Annahmen direkt an Ort und Stelle deklariert.
Für Unternehmen ist dieser Aspekt nicht zu unterschätzen. Gerade in langlebigen Systemen ist nicht das schnelle erste Schreiben teuer, sondern das spätere Verstehen, Ändern und Absichern. Adas explizite Syntax verschiebt Aufwand bewusst nach vorne – man investiert beim Schreiben etwas mehr, um über die gesamte Lebensdauer des Systems immer wieder Zeit und Risiko zu sparen.
Eine Besonderheit von Ada ist, dass Nebenläufigkeit fester Bestandteil der Sprache ist. Parallele Abläufe werden über sogenannte Tasks ausgedrückt, und die Sprache stellt geordnete Mittel bereit, mit denen diese Tasks Daten austauschen und sich abstimmen. Anders als in vielen Sprachen, in denen Parallelität über nachträglich hinzugefügte Bibliotheken gelöst wird, ist das Nebenläufigkeitsmodell in Ada Teil des Sprachkerns und damit einheitlich definiert.
Der praktische Vorteil liegt in der Vorhersagbarkeit. Weil das Verhalten von Tasks in der Sprache geregelt ist, lässt sich nebenläufiger Code klarer strukturieren und leichter überprüfen – ein wichtiger Punkt für Echtzeit- und Steuerungssysteme, in denen Zeitverhalten und Reihenfolge von Abläufen sicherheitsrelevant sein können. Für besonders strenge Anforderungen existieren zudem eingeschränkte Laufzeitprofile, die das Nebenläufigkeitsverhalten weiter beschränken und dadurch besser analysierbar machen.
Modernere Ada-Versionen erlauben es, Verträge direkt im Code zu formulieren: Vor- und Nachbedingungen sowie Invarianten, die ausdrücken, was eine Funktion voraussetzt und was sie garantiert. Solche Verträge machen Annahmen nicht nur dokumentierbar, sondern auch prüfbar – teils zur Laufzeit, teils bereits durch Werkzeuge vor der Ausführung. Für sicherheitskritische Software ist das ein wertvolles Mittel, um die Korrektheit einzelner Bausteine gezielt abzusichern.
Darüber hinaus gibt es mit SPARK eine formal definierte Teilmenge von Ada, die sich für mathematische Beweise eignet. Mit passenden Werkzeugen lässt sich damit für geeigneten Code nachweisen, dass bestimmte Fehlerklassen – etwa Bereichsüberschreitungen – ausgeschlossen sind. Dieser Grad an Absicherung ist außerhalb weniger spezialisierter Sprachen selten und einer der Gründe, warum Ada in besonders anspruchsvollen sicherheitskritischen Vorhaben eine Sonderstellung einnimmt. Welche Sprachversion welche Vertrags- und Beweisfähigkeiten bietet, entwickelt sich weiter und sollte in der offiziellen Dokumentation geprüft werden.
Die mit Abstand bekannteste Ada-Umsetzung ist GNAT, ein Ada-Compiler, der Teil der weit verbreiteten GCC-Compilerfamilie ist. GNAT hat Ada für ein breites Publikum frei zugänglich gemacht und ist heute für viele der übliche Ausgangspunkt. Wenn in der Praxis von „Ada bauen“ die Rede ist, ist häufig GNAT im Spiel. Daneben existieren weitere, teils spezialisierte Compiler-Angebote, insbesondere für bestimmte eingebettete Zielplattformen.
Rund um den Compiler gibt es eine etablierte Toolchain: ein Werkzeug zur Verwaltung von Projekten und Abhängigkeiten, Debugger, Werkzeuge zur statischen Analyse und Prüfung von Codierrichtlinien sowie Unterstützung für Tests. Für neuere Projekte hat sich zudem ein Paket- und Baukastensystem etabliert, das die Einrichtung und Wiederverwendung von Ada-Bibliotheken erleichtert. Welche Werkzeuge in welcher Reife verfügbar sind, entwickelt sich weiter und sollte am aktuellen Stand geprüft werden.
AdaCore ist der bekannteste kommerzielle Akteur im Ada-Umfeld. Das Unternehmen ist maßgeblich an der Entwicklung von GNAT und zugehörigen Werkzeugen beteiligt und bietet professionelle Angebote, die für sicherheitskritische Industrieprojekte oft ausschlaggebend sind: qualifizierte Werkzeugketten, Langzeitpflege, technischer Support und Unterstützung bei Zertifizierungen. Für Unternehmen, die auf verlässliche, langfristig gepflegte Werkzeuge angewiesen sind, ist ein solches kommerzielles Rückgrat ein wichtiger Faktor.
Wichtig ist die Unterscheidung: Ada als Sprache ist genormt und offen, und es gibt frei verfügbare Werkzeuge. Für den professionellen, zertifizierungspflichtigen Einsatz greifen viele Unternehmen jedoch zusätzlich auf kommerzielle Angebote mit vertraglich zugesicherter Pflege und Qualifizierung zurück. Ob und in welchem Umfang das nötig ist, hängt vom Anwendungsfall und den geltenden Normen ab – dies ist eine fachliche Einordnung und ersetzt keine verbindliche Prüfung im Einzelfall.
Adas Bibliotheks-Landschaft ist deutlich kleiner als die großer Massensprachen, aber auf die Zieldomäne fokussiert und solide. Ohne konkrete Zahlen zu nennen, lassen sich die wichtigsten Bereiche qualitativ einordnen:
Wenn ein einzelnes Kriterium Adas Bedeutung erklärt, dann ist es die Sicherheitskritikalität. Überall dort, wo ein Softwarefehler zu Personenschäden, Umweltschäden oder erheblichen finanziellen Verlusten führen kann, spielt Ada ihre Stärken aus. Die Sprache wurde von Grund auf so gestaltet, dass sie die Erstellung nachweisbar korrekter Software unterstützt – und genau diese Nachweisbarkeit ist in regulierten Branchen nicht optional, sondern vorgeschrieben.
Der praktische Vorteil geht über die reine Fehlervermeidung hinaus. Weil Ada und ihr Umfeld auf Zertifizierung und Langzeitpflege ausgelegt sind, passt die Sprache zu Produkten mit sehr langen Lebenszyklen, wie sie in Luftfahrt, Bahn und Verteidigung üblich sind. Wer ein System baut, das über Jahrzehnte betrieben und gepflegt wird, profitiert von dieser Ausrichtung erheblich.
Ebenso wichtig ist, ehrlich zu benennen, wo Ada nicht die naheliegende Wahl ist. Für schnelle Datenauswertungen, Web-Anwendungen, mobile Apps oder kurzlebige Prototypen sind andere Sprachen produktiver und verfügen über deutlich größere Ökosysteme und Fachkräftemärkte. Adas bewusste Strenge und ihr Fokus auf Nachweisbarkeit sind in solchen Kontexten eher Ballast als Nutzen.
Die Faustregel aus der Praxis: Je höher die Anforderungen an Sicherheit, Zuverlässigkeit und Langlebigkeit, desto eher lohnt sich Ada. Je stärker es dagegen auf Geschwindigkeit der Entwicklung, breite Bibliotheks-Verfügbarkeit und einen großen Personalpool ankommt, desto eher passt eine Massensprache. Diese Grenze ehrlich zu ziehen, gehört zu einer seriösen Technologieberatung.
C ist die verbreitetste systemnahe Sprache und der De-facto-Standard in vielen eingebetteten Bereichen. Ihre Stärken sind Allgegenwart, ein riesiger Fachkräftemarkt und die Nähe zur Hardware. Ihre Schwäche im sicherheitskritischen Kontext ist jedoch grundlegend: C überlässt dem Entwickler sehr viel Verantwortung, prüft wenig und erlaubt eine Vielzahl gefährlicher Konstrukte, aus denen sich in der Praxis viele Sicherheitslücken und Ausfälle speisen.
Ada setzt genau hier an. Sie fängt viele der Fehlerklassen, die in C typisch sind, bereits durch den Compiler und ihr strenges Typsystem ab. Der Preis ist eine kleinere Verbreitung und ein knapperer Fachkräftemarkt. Die Faustregel: Wo maximale Verbreitung und ein großer Personalpool zählen, hat C Vorteile; wo nachweisbare Korrektheit im Vordergrund steht, spielt Ada ihre Stärke aus. In gemischten Umgebungen werden beide kombiniert, da Ada gut mit C zusammenarbeiten kann.
C++ ist eine mächtige, vielseitige Sprache für große, leistungskritische Systeme mit einem enormen Ökosystem. Sie bietet umfangreiche Ausdrucksmöglichkeiten, überlässt aber viel Verantwortung dem Entwickler und gilt als komplex. Ihre Sicherheitseigenschaften hängen stark von Disziplin, Werkzeugen und Codierrichtlinien ab; im Kern erlaubt sie – wie C – viele riskante Konstrukte.
Ada verfolgt eine andere Philosophie: Statt maximaler Freiheit steht die bewusste Einschränkung im Dienst der Sicherheit im Vordergrund. Für sicherheitskritische Systeme, in denen Nachweisbarkeit über Flexibilität steht, ist das ein Vorteil. Wo dagegen ein sehr großes Ökosystem, breite Bibliotheks-Verfügbarkeit und ein großer Personalmarkt entscheidend sind, hat C++ die Nase vorn. Die Wahl hängt also weniger von der reinen Leistung als von den Prioritäten Sicherheit gegen Ökosystem-Breite ab.
Rust ist die prominenteste moderne Sprache mit einem starken Fokus auf Sicherheit, insbesondere Speichersicherheit, die über ein eigenes Modell bereits zur Übersetzungszeit abgesichert wird. Rust genießt große Aufmerksamkeit, ein rasch wachsendes Ökosystem und eine sehr aktive Community und wird zunehmend auch für sichere Systemsoftware eingesetzt.
Ada und Rust verfolgen ein ähnliches Ziel – Sicherheit durch Sprachdesign – auf unterschiedlichen Wegen und mit unterschiedlicher Reife im Feld. Ada bringt jahrzehntelange Erfahrung und ein etabliertes Zertifizierungsumfeld in klassischen sicherheitskritischen Branchen mit; Rust ist jünger, dynamischer und im Aufbau seiner Zertifizierungspraxis. Für ein neues Vorhaben lohnt es sich, beide ernsthaft zu prüfen: Bestehende Normen, vorhandenes Know-how und die konkreten Zertifizierungsanforderungen geben oft den Ausschlag. Diese Einordnung ist herstellerneutral und ersetzt keine projektspezifische Bewertung.
Ada wurde geschaffen, weil unzuverlässige Software in bestimmten Bereichen keine Option ist. Diese Grundhaltung durchzieht die gesamte Sprache: das strenge Typsystem, die frühe Fehlererkennung durch den Compiler, die explizite Schreibweise und das vorhersehbare Laufzeitverhalten. Jedes dieser Merkmale zielt darauf, Fehler entweder unmöglich zu machen oder sie so früh wie möglich sichtbar werden zu lassen – idealerweise lange vor dem Betrieb.
Der wirtschaftliche Hintergrund ist einfach: In sicherheitskritischen Systemen sind die Kosten eines Fehlers im Feld ungleich höher als die Kosten seiner Vermeidung in der Entwicklung. Ada verschiebt Aufwand bewusst nach vorne, in die Entwurfs- und Übersetzungsphase, um teure und gefährliche Fehler im späteren Betrieb zu vermeiden. Diese Rechnung geht genau dort auf, wo Zuverlässigkeit einen sehr hohen Wert hat – und nur dort.
In Branchen wie der Luftfahrt, der Bahn oder der Medizintechnik darf Software nicht einfach in Betrieb gehen, sondern muss gegen strenge Normen nachgewiesen werden. In der zivilen Luftfahrt ist etwa DO-178C ein bekannter Standard für die Zulassung von Software; in anderen Branchen gelten eigene, vergleichbar strenge Regelwerke. Solche Normen verlangen umfangreiche Nachweise darüber, dass die Software korrekt entwickelt, überprüft und dokumentiert wurde.
Ada ist in diesem Umfeld etabliert, weil ihre Eigenschaften und ihr Werkzeug-Umfeld die geforderten Nachweise unterstützen: nachvollziehbarer, analysierbarer Code, qualifizierbare Werkzeugketten und – mit SPARK – sogar formale Beweise für bestimmte Eigenschaften. Das ersetzt den Zertifizierungsaufwand nicht, aber es erleichtert ihn. Welche Norm im Einzelfall gilt und welche Nachweise konkret zu erbringen sind, hängt vom Produkt, der Branche und der jeweiligen Aufsichtsbehörde ab; dies ist eine fachliche Einordnung und keine Rechts- oder Zulassungsberatung.
Wichtig ist eine realistische Erwartung: Ada macht Software nicht automatisch korrekt oder zertifiziert. Auch in Ada lassen sich fehlerhafte Programme schreiben, und die Zertifizierung eines Systems bleibt ein aufwendiger Prozess, der weit über die Sprachwahl hinausgeht – er umfasst Prozesse, Dokumentation, Tests und organisatorische Nachweise. Ada ist ein starkes Werkzeug in diesem Prozess, kein Ersatz dafür.
Was Ada leistet, ist eine solide Grundlage: Sie reduziert eine ganze Klasse typischer Fehler, macht Code analysierbar und passt zu den Anforderungen regulierter Branchen. Der Nutzen entsteht im Zusammenspiel aus Sprache, Werkzeugen, Prozessen und qualifiziertem Personal. Wer eine Zertifizierung anstrebt, sollte diese Anforderungen von Anfang an mitdenken und fachkundige Begleitung einplanen.
Ada ist besonders für Mittelständler interessant, die als Zulieferer oder Hersteller in regulierten, sicherheitskritischen Branchen tätig sind: Bahntechnik, Luftfahrtzulieferung, Medizingerätetechnik, industrielle Steuerungstechnik oder Verteidigung. Für solche Unternehmen ist die Sprachwahl oft nicht frei, sondern durch Kundenanforderungen, Normen oder bestehende Systeme mitbestimmt. Wo nachweisbare Zuverlässigkeit gefordert ist, ist Ada eine etablierte und anerkannte Grundlage.
Für den klassischen Mittelständler dagegen, dessen Softwarebedarf sich auf Verwaltung, Datenauswertung, Web-Anwendungen oder Automatisierung von Büroabläufen beschränkt, ist Ada in aller Regel nicht die richtige Wahl. Hier sind verbreitetere Sprachen produktiver und leichter zu besetzen. Die ehrliche Vorabklärung, ob ein Vorhaben überhaupt in Adas Domäne fällt, steht deshalb am Anfang jeder sinnvollen Entscheidung.
Die größte praktische Herausforderung beim Einsatz von Ada im Mittelstand ist der begrenzte Fachkräftemarkt. Ada-Entwickler sind seltener als etwa C- oder C++-Entwickler, und das vorhandene Wissen konzentriert sich auf spezialisierte Branchen. Für ein Unternehmen bedeutet das: Kompetenzaufbau, gezielte Schulung und die langfristige Bindung von Fachwissen sind wichtiger als bei Massensprachen. Umgekehrt sind Ada-Fachleute oft erfahren und arbeiten in einer stabilen, langlebigen Domäne.
Bei den Werkzeugen ist zu klären, ob der frei verfügbare Compiler ausreicht oder ob für Zertifizierung und Langzeitpflege kommerzielle Angebote mit vertraglich zugesicherter Unterstützung sinnvoll sind. Da Ada gut mit C zusammenarbeitet, lassen sich zudem bestehende Komponenten einbinden, was den Einstieg in gemischten Umgebungen erleichtert. Diese Abwägungen sollten früh und bewusst getroffen werden.
Ein oft unterschätzter wirtschaftlicher Vorteil von Ada im Mittelstand ist die Langlebigkeit. Produkte in der Zieldomäne werden häufig über Jahrzehnte betrieben und gepflegt. Adas Fokus auf Stabilität, ihre behutsame Weiterentwicklung und ihre gute Lesbarkeit zahlen sich über einen so langen Lebenszyklus mehrfach aus – gerade dann, wenn das ursprüngliche Entwicklungsteam längst nicht mehr verfügbar ist.
Diese Perspektive verändert die Kostenrechnung. Der höhere Anfangsaufwand, den Ada verlangt, ist bei kurzlebiger Software ein Nachteil, bei sehr langlebiger Software dagegen oft ein Vorteil, weil er spätere Wartungs- und Fehlerkosten senkt. Wer im Mittelstand über den Einsatz von Ada nachdenkt, sollte die Betrachtung deshalb konsequent über die gesamte Lebensdauer des Systems anstellen, nicht nur über die erste Entwicklungsphase.
Ada ist seit Jahrzehnten im Einsatz und außerordentlich stabil. Ein zentraler Grund dafür ist die internationale Standardisierung: Ada ist als ISO-Norm festgeschrieben und wird in einem geordneten, gemeinschaftlichen Prozess behutsam fortgeschrieben. Diese verbindliche Grundlage sorgt dafür, dass Ada-Code auch über sehr lange Zeiträume verlässlich übersetzbar und wartbar bleibt – eine seltene Eigenschaft, die für Systeme mit jahrzehntelangem Lebenszyklus von großem Wert ist.
Die Sprache wurde über die Jahre mehrfach überarbeitet und um moderne Fähigkeiten ergänzt, ohne ihre Grundphilosophie aufzugeben. Diese Kontinuität ist für Unternehmen ein wichtiges Argument: Ada ist keine Modeerscheinung, sondern eine bewusst konservativ und langfristig gepflegte Grundlage. Welche Sprachversion aktuell ist und welche Neuerungen sie bringt, entwickelt sich weiter und sollte in der offiziellen Dokumentation geprüft werden.
Der Lernaufwand für Ada ist höher als bei manchen Massensprachen – nicht, weil die Sprache unnötig kompliziert wäre, sondern weil sie ein Umdenken erfordert. Wer aus der C-Welt kommt, muss sich an die bewusste Strenge, die explizite Schreibweise und das starke Typsystem gewöhnen. Diese Umstellung kostet zunächst Zeit, führt aber zu einem Programmierstil, der auf Zuverlässigkeit ausgelegt ist.
Für Unternehmen ist der begrenzte Personalmarkt die wichtigere Herausforderung. Ada-Fachkräfte sind seltener und konzentriert in spezialisierten Branchen. Kompetenzaufbau und die langfristige Bindung von Wissen sind deshalb zentrale Aufgaben. Positiv ist, dass die Ada-Gemeinschaft klein, aber engagiert und fachlich versiert ist und dass die Sprache in Ausbildung und Forschung im Bereich verlässlicher Systeme präsent bleibt.
Ada ist eine offene, genormte Sprache – niemand besitzt sie, und der frei verfügbare Compiler GNAT ist Teil der offenen GCC-Familie. Für den Einsatz der Sprache selbst fallen damit keine zwingenden Lizenzkosten an. Zu beachten sind die Lizenzbedingungen der konkret eingesetzten Compiler- und Werkzeug-Varianten sowie eingebundener Bibliotheken, die von freizügig bis zu solchen mit Pflichten reichen können. Für den kommerziellen Einsatz sollte bekannt sein, welche Lizenzen zum Tragen kommen. Dies ist eine fachliche Einordnung und keine Rechtsberatung; die konkrete Bewertung gehört in die Hände fachkundiger rechtlicher Begleitung.
Für die Zukunft spricht, dass das Interesse an nachweisbar sicherer Software eher zu- als abnimmt. Steigende Anforderungen an die Sicherheit vernetzter und autonomer Systeme rücken Sprachen mit starken Sicherheitsgarantien wieder stärker in den Fokus. Ada steht dabei nicht allein – Sprachen wie Rust adressieren ähnliche Ziele –, bringt aber jahrzehntelange Erfahrung und ein etabliertes Zertifizierungsumfeld mit. In ihrer Nische ist Adas Zukunft solide, auch wenn sie kein Massenphänomen werden wird.
