imported>SchlurcherBot: Bot: http → https

2025-06-17T04:57:46Z

Bot: http → https

Neue Seite

{{Infobox Programmiersprache
|Name = Ada
|Logo = [[Datei:Ada horizon green logo with slogan.svg]]
|Paradigma = [[Imperative Programmierung|imperativ]], [[Strukturierte Programmierung|strukturiert]], [[Objektorientierte Programmierung|objektorientiert]]
|Erscheinungsjahr = 1980
|Entwickler = [[Jean Ichbiah]]
|Typisierung = [[Statische Typisierung|statisch]], explizit, [[Starke Typisierung|stark]]
|Implementierung = [[GNAT]]
|Standardisierungen = ANSI/MIL-STD-1815 1983, ISO-8652 1995, Ada 2005, Ada 2012
|Beeinflusst_von = [[Algol 68]], [[Pascal (Programmiersprache)|Pascal]], [[Modula-2]], [[C++]], [[Java (Programmiersprache)|Java]]
|Beeinflusste = [[C++]], [[Eiffel (Programmiersprache)|Eiffel]], [[PL/SQL]], [[Python (Programmiersprache)|Python]], [[Ruby (Programmiersprache)|Ruby]], [[Very High Speed Integrated Circuit Hardware Description Language|VHDL]], [[Seed7]]
}}

'''Ada''' ist eine [[Strukturierte Programmierung|strukturierte]] [[Programmiersprache]] mit [[Statische Typisierung|statischer Typenbindung]]. Sie wurde von [[Jean Ichbiah]] für das Unternehmen [[Bull Computer|Honeywell Bull]] in den 1970er Jahren entworfen. Ada ist vom Erscheinungsbild ähnlich zur Programmiersprache [[Pascal (Programmiersprache)|Pascal]]. Benannt wurde die Sprache nach [[Ada Lovelace]] (1815–1852), der Tochter von [[George Gordon Byron|Lord Byron]] und Mitarbeiterin von [[Charles Babbage]], die auch als erste [[Softwareentwickler|Programmiererin]] bezeichnet wird. Ada ist im [[United States Military Standard]] '''MIL-STD-1815''' spezifiziert.

== Überblick ==
Ada wurde anfänglich stark vom [[Verteidigungsministerium der Vereinigten Staaten|US-Verteidigungsministerium]] gefördert und unterstützt. Wie alle von der [[Internationale Organisation für Normung|internationalen Organisation für Normung]] (ISO) standardisierte Sprachen wird sie in regelmäßigen Abständen überarbeitet. Mit Veröffentlichung eines neuen Standards verliert der vorige seine Gültigkeit. Daher gibt es nur eine Sprache Ada; nur zur Unterscheidung der Generationen werden diese informell als Ada 83 (die erste standardisierte Generation), Ada 95, Ada 2005, Ada 2012 und Ada 2022 bezeichnet. Ada-[[Compiler]] werden gewöhnlich einer [[Validierung (Informatik)|Validierung]] unterzogen, der Ada Conformity Assessment Test Suite (ACATS), die praktisch Grundvoraussetzung für den professionellen Einsatz ist. ACATS ist ebenfalls ein ISO-Standard. Aufgrund der hohen Anforderungen, die validierte Compiler erfüllen müssen, hat Ada sich vor allem in sicherheitskritischen Bereichen durchgesetzt, zum Beispiel in der [[Flugsicherung]], in [[Eisenbahn#Sicherheit|Sicherheits-Einrichtungen der Eisenbahn]], in [[Waffensystem]]en, der [[Raumfahrt]], der [[Medizin]] oder der Steuerung von [[Kernkraftwerk]]en. Bis auf einzelne Ausnahmen verweigert sich die Automobilindustrie ihrer Verwendung.

== Fähigkeiten der Sprache ==
[[Datei:Ada Lovelace.jpg|mini|hochkant|Ada Lovelace]]

Ada war ursprünglich gedacht als allgemeine Programmiersprache, die die Vielzahl von Programmiersprachen im amerikanischen Verteidigungsministerium ersetzen sollte. Heute wird sie meist für eingebettete ''([[Eingebettetes System|embedded]])'' und [[Echtzeitsystem|Echtzeit-Systeme]] ''(real-time systems)'' verwendet. Herausragende Merkmale von Ada sind etwa das strenge [[Typsystem]] ''([[starke Typisierung]])'' mit fehlerrobuster Syntax, das zahlreiche Prüfungen schon zur Übersetzungszeit erlaubt, [[Nebenläufigkeit]], Ausnahmebehandlung und [[generische Programmierung]]. Ada 95 führte sogenannte ''tagged types'' (erweiterbare Typen) ein, die das Ada zugrundeliegende Konzept des [[Programmieren durch Erweiterung]] weiter ausbauen und [[Dynamische Bindung|dynamische Polymorphie]] ermöglichen.

Implementierungen von Ada benutzen üblicherweise keine [[automatische Speicherbereinigung]] ''(garbage collection)'' zur [[Speicherverwaltung]], da diese das Echtzeitverhalten empfindlich stören würde; der Standard verbietet dies jedoch nicht. Ada unterstützt Laufzeittests, um [[Speicherüberlauf|Speicherüberläufe]], Zugriff auf nicht zugewiesenen Speicher, ''[[Off-by-one-Error|off-by-one-Fehler]]'' und andere, ähnlich geartete Fehler frühzeitig zu erkennen. Viele dieser Fehler lassen sich jedoch durch richtige Verwendung der Sprachmittel schon während der Programmierung vermeiden oder während der Übersetzung erkennen. Für eine höhere Effizienz können diese Laufzeittests abgeschaltet werden.

== Programmverifikation mit SPARK ==
Auch zur [[Verifizierung#Informatik (Verifizieren von Software)|Programmverifikation]] stehen verschiedene Spracheigenschaften zur Verfügung. Mit Ada ist es zum ersten Mal gelungen, industriell verwendete Programme automatisch auf Korrektheit zu überprüfen.<ref>{{Literatur |Autor=John Barnes |Titel=High integrity software: the SPARK approach to safety and security |Verlag=Pearson Education |Ort=Boston, Mass. |Datum=2003 |ISBN=0-321-13616-0 |Seiten=}}</ref> Dazu wird die Sprachvariante SPARK verwendet, eine Untermenge von Ada mit [[Annotation (Programmierung)|Annotationen]], das sind Kommentare mit spezieller Syntax wie zum Beispiel Vor- und Nachbedingungen. Die Korrektheit eines SPARK-Programms wird mit einem Verifikationsprogramm ''(SPARK Examiner)'' durch statische Analyse der Annotationen überprüft (also vor Ausführung des Programms).
In den neuesten Sprachgenerationen sind viele dieser Annotationen durch sogenannte Aspekte ersetzt, sodass auch der Übersetzer Nutzen aus ihnen ziehen kann. Ziel ist jedoch, dass für diese Aspekte kein Code erzeugt wird – sie werden wie die Annotationen vom SPARK Examiner ausgewertet.

== Programmierwerkzeuge ==
Für Ada gibt es den quelloffenen Compiler [[GNAT]] unter [[GPL|GP-Lizenz]]. Die Firma AdaCore entwickelt die [[integrierte Entwicklungsumgebung]] (IDE) [[GNAT Programming Studio]], die in einer freien und einer kommerziellen Version angeboten wird. Darüber hinaus bieten verschiedene namhafte Hersteller Compiler mit IDEs für Ada an.<ref>{{Internetquelle |url=http://www.atego.com/products/aonix-objectada/ |titel=Aonix ObjectAda – Product – Atego |werk=atego.com |sprache=en |abruf=2011-10-17 |archiv-url=https://web.archive.org/web/20130806062035/http://www.atego.com/products/aonix-objectada/ |archiv-datum=2013-08-06 |offline=1}}</ref><ref>{{Internetquelle |url=https://www.ghs.com/products/AdaMULTI_IDE.html |titel=AdaMULTI IDE |werk=ghs.com |sprache=en |abruf=2011-10-17}}</ref><ref>{{Internetquelle |autor=DDC-I |url=http://www.adacompiler.com/ |titel=Ada Compilers |werk=adacompiler.com |sprache=en |abruf=2011-10-17}}</ref><ref>{{Internetquelle |url=https://www-01.ibm.com/software/awdtools/developer/ada/ |titel=IBM Software – Ada Developer Product Line |werk=ibm.com |sprache=en |abruf=2011-10-17}}</ref><ref>{{Internetquelle |url=http://www.swep-eds.com/XD%20Ada/XD%20Ada.html |titel=XD ADA |werk=swep-eds.com |sprache=en |abruf=2011-10-17 |archiv-url=https://web.archive.org/web/20140509054944/http://www.swep-eds.com/XD%20Ada/XD%20Ada.html |archiv-datum=2014-05-09 |offline=1}}</ref>
Ein Plugin für [[Eclipse (IDE)|Eclipse]], die [[GNATbench]], wurde zunächst in der kommerziellen Version GNATpro vertrieben, ist mittlerweile aber auch unter einer [[GPL]] verfügbar. Daneben gibt es einige kleinere IDEs, die Ada unterstützen und sich vor allem für die Lehre eignen, zum Beispiel [[jGRASP]], oder unter Windows das bekannte [[AdaGIDE]]. Außerdem existiert ein [[Emacs]]-Mode für Ada.

== Geschichte ==
In den 1970ern zeigte sich das [[Verteidigungsministerium der Vereinigten Staaten]] besorgt über die wachsende Anzahl von Programmiersprachen, die in seinen Projekten verwendet wurden. [[Wartung]], [[Ausbildung]], [[Modul (Softwarearchitektur)|Modularität]] und [[Wiederverwendung]] waren dadurch schwer beeinträchtigt. Viele der Programmiersprachen waren zudem [[proprietär]] (man war also vom Anbieter abhängig) oder schlicht veraltet. 1975 sollte eine Arbeitsgruppe diesen Dschungel lichten und eine Sprache finden oder erfinden, welche die Bedingungen des Ministeriums erfüllt. Eine Reihe von Anforderungskatalogen, bezeichnet als ''Strawmann'', ''Woodenman'', ''Tinman'', ''Ironman'' und ''Steelman'' (daneben für eine [[integrierte Entwicklungsumgebung]] die Dokumente ''Sandman'' (nicht veröffentlicht), ''Pebbleman'' und ''Stoneman'') wurden erstellt und viele existierende Sprachen daraufhin überprüft, doch 1977 kam man zum Ergebnis, dass keine der vorhandenen Sprachen geeignet war. Nach einer Ausschreibung kamen vier Kandidaten in die nähere Auswahl (''Red'', ''Green'', ''Blue'' und ''Yellow'' genannt), und im Mai 1979 entschied man sich für ''Green'' von [[Jean Ichbiah]], welches dann auf den Namen Ada getauft wurde. Die ursprüngliche Beschreibung wurde am 10. Dezember 1980 gebilligt, dem Geburtstag von [[Ada Lovelace]]. Der Standard erhielt die Bezeichnung MIL-STD 1815, da 1815 ihr Geburtsjahr war. Die erste Implementierung fand unter [[Multics]] statt.

Im Februar 1983 wurde die Sprache zu einer [[ANSI]]-Norm (ANSI/MIL-STD 1815A), die [[Internationale Organisation für Normung|ISO]] übernahm die Norm 1987 als ISO-8652:1987. Diese Version wird heute als Ada 83 bezeichnet, nach dem Jahr der ANSI-Normung. Ada 95, die gemeinsame ISO/ANSI-Norm ISO-8652:1995, wurde im Februar 1995 angenommen. Damit wurde Ada 95 zur ersten [[Objektorientierte Programmiersprache|objektorientierten Programmiersprache]] mit einer ISO-Norm. Im Juni 2001 wurde die erste technische Korrektur gemäß den Statuten der ISO als ISO/IEC 8652:1995/Cor 1:2001 angenommen. Weitere Überarbeitungen sind März 2007 ISO/IEC-8652:1995/AMD 1:2007, informell Ada 2005, ISO/IEC 8652:2012, informell Ada 2012, und der aktuelle Standard ISO/IEC 8652:2023, informell Ada 2022.

Nach der Einführung Adas 1983 fiel die Anzahl der verwendeten Programmiersprachen im Verantwortungsbereich des US-amerikanischen Verteidigungsministeriums bis 1996 von über 450 auf 37. Das US-Verteidigungsministerium schrieb vor, dass jedes Softwareprojekt mit einem Anteil von mehr als 30 % neuem Code in Ada geschrieben werden musste. Diese Vorschrift wurde 1997 aufgehoben, zudem wurden häufig Ausnahmen genehmigt. In vielen anderen Staaten der [[NATO]] wurden ähnliche Vorschriften erlassen.

Um die Verbreitung des Standards und der Sprache allgemein zu unterstützen, finanzierte die [[United States Air Force|US Air Force]] die Entwicklung des kostenfreien [[GNAT]]-[[Compiler]]s. Die auf Sicherheit ausgelegten Spracheigenschaften von Ada alleine können Fehler nicht verhindern: [[Ariane V88]], die erste [[Ariane 5]], ging im Juni 1996 samt Nutzlast verloren, unter anderem weil ein [[arithmetischer Überlauf]] auftrat und für die vom Compiler generierte Ausnahme keine angemessene [[Ausnahmebehandlung]] implementiert worden war. Entgegen [[Bertrand Meyer]]s Behauptung hätte auch die von ihm entwickelte Programmiersprache [[Eiffel (Programmiersprache)|Eiffel]] den Verlust der Rakete nicht verhindert.<ref>{{Internetquelle |autor=Ken Garlington |url=http://lore.ua.ac.be/Teaching/SE3BAC/ariane.html |titel=Critique of “Put it in the contract: The lessons of Ariane” |werk=lore.ua.ac.be |datum=1997-08-07 |sprache=en |abruf=2011-10-14 |archiv-url=https://web.archive.org/web/20111103163104/http://lore.ua.ac.be/Teaching/SE3BAC/ariane.html |archiv-datum=2011-11-03 |offline=ja }}</ref> (Der Grund des Fehlschlags war die ungeprüfte Übernahme eines Codes von Ariane 4, der für deren Flugprofil ausgelegt war.) Im April 2008 kam Ada 2005 wieder in die Schlagzeilen, nachdem [[Lockheed Martin]] ein [[Softwareaktualisierung|Update]] zum [[Flugsicherung]]ssystem der [[Federal Aviation Administration]] vor der vereinbarten Lieferzeit und unter dem erwarteten [[Budget]] abgeliefert hatte.<ref>{{Internetquelle |autor=Joab Jackson |url=http://gcn.com/articles/2008/04/11/the-return-of-ada.aspx |titel=The return of Ada |werk=gcn.com |sprache=en |abruf=2011-10-17 |archiv-url=https://web.archive.org/web/20110811155402/http://gcn.com/Articles/2008/04/11/The-return-of-Ada.aspx |archiv-datum=2011-08-11 |offline=ja}}</ref>

== ''Hallo Welt'' in Ada ==
Das [[Hallo-Welt-Programm]] in Ada:
<syntaxhighlight lang="ada">
with Ada.Text_IO;

procedure Hallo is
begin
-- Ausgabe des Textes "Hallo, Welt!".
Ada.Text_IO.Put_Line("Hallo, Welt!");
end Hallo;
</syntaxhighlight>

== Siehe auch ==
* [[GNAT]] – GNU Ada Compiler
* [[GNAT Programming Studio]] (GPS)
* [[Ada Conformity Assessment Test Suite]] (ACATS)

== Literatur ==
* [[Manfred Nagl]]: ''Softwaretechnik mit Ada 95''. Vieweg, ISBN 3-528-15583-3.
* Harry Feldmann: ''Programmieren mit Ada''. Vieweg, ISBN 3-528-05205-8.
* Annette Weinert: ''Programmieren mit Ada und C''. Vieweg, ISBN 3-528-05240-6.
* Diana Schmidt: ''Erfolgreich Programmieren mit Ada''. Springer Verlag, ISBN 3-540-57689-4.
* Klaus P. Kratzer: ''ADA''. Hanser Fachbuch, ISBN 3-446-16545-2.

=== Englisch ===
* John Barnes: ''Programming in Ada 2012''., ISBN 978-1-107-42481-4.
* Simon Johnston: ''Ada 95 for C and C++ Programmers''.
* N.H. Cohen: ''Ada as a Second language''. – sehr ausführlich.
* A. Burns und A. Wellings: ''Concurrency in Ada''.
* Nell Dale, Chip Weems & John W. McCormick: ''Programming and Problem Solving with Ada 95'' (2. Ausgabe), ISBN 978-0-7637-0792-7.

=== Referenzen ===
* [http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TTL.html Ada 2012 Language Reference Manual (LRM)]
* [http://www.ada-auth.org/standards/12rat/html/Rat12-TTL.html Rationale for Ada 2012]

== Weblinks ==
{{Wikibooks|Ada Programming|Programming Ada|lang=en}}
* [news:comp.lang.ada comp.lang.ada] (Newsgroup)
* [https://asharp.martincarlisle.com/ A# – Ada für .NET/Mono]
* [https://www.dwheeler.com/steelman/ Steelman On-Line]
* [https://www.dwheeler.com/steelman/steeltab.htm Ada, C, C++, and Java vs. The Steelman]
* [http://www.cs.wichita.edu/~rodney/languages/Modula-Ada-comparison.txt Modula-3 and Ada]

'''Tutorial'''
* {{Webarchiv |url=http://www.tfh-berlin.de/~grude/SkriptAda.pdf |wayback=20070928000610 |text=Ada Vorlesungsskript}} (PDF; 1,4 MB) Vorlesungsskript mit Aufgaben, {{Webarchiv |url=http://www.tfh-berlin.de/~grude/LoesungenAda.pdf |wayback=20070928000358 |text=Lösungen}} (PDF; 88 kB), {{Webarchiv |url=http://www.tfh-berlin.de/~grude/BeispieleAda.zip |wayback=20070928000902 |text=Beispielprogrammen}} ([[Beuth-Hochschule für Technik Berlin]], Prof. Dr. Grude; 1,30 MB; [[ZIP-Dateiformat|ZIP]])
* [http://babdoc.free.fr/mag_info/John%20English%20-%20Ada%2095%20The%20Craft%20of%20Object-Oriented%20Programming.pdf Ada 95: The Craft of Object-Oriented Programming] (PDF; 1,4 MB) Online-Buch von John English
* [https://www.pegasoft.ca/resources/boblap/book.html The Big Online Book of Linux Ada Programming] Online-Buch von Ken O. Burtch

'''Referenz und Glossar'''
* [https://www.adaic.org/standards/95lrm/html/RM-TOC.html Ada Reference Manual] – freie Ada-95-Online-Referenz
* Javier Miranda: [http://www.iuma.ulpgc.es/users/jmiranda/ ''A Detailed Description of the GNU Ada Run-Time''.] 2002

== Einzelnachweise ==
<references />
{{Navigationsleiste MIL-STD}}
{{Normdaten|TYP=s|GND=4000430-2}}

[[Kategorie:Programmiersprache]]
[[Kategorie:MIL-STD]]
[[Kategorie:Programmiersprache mit einem ISO-Standard]]
[[Kategorie:Ada Lovelace]]

Ada (Programmiersprache) - Versionsgeschichte

imported>SchlurcherBot: Bot: http → https