Quelltext der Seite AVR-Ada

von [[Benutzer:Andreas]]
== Ada ==

Ada ist die bevorzugte Programmiersprache für sicherheitskritische Anwendungen. Sie wird vor allem in Luft- und Raumfahrt und im Militärbereich eingesetzt. Das US-Militär hat die erste Entwicklung von GNAT (GNU Ada Compiler) Anfang der 1990er unterstützt.

Warum ist Ada interessant?

* Im Gegensatz zu den Bitfeldern in C können in Ada aus einzelnen Bits bestehende Variablen portabel adressiert werden, auch über Bytegrenzen hinweg.
* Einschaltbare Bereichsüberprüfungenn für Variablen, Stack-Überlauf-Erkennung usw. können die Sicherheit erhöhen.
* Vieles was man in C "von Hand" machen muss lässt sich in Ada abstrahieren, ohne dass der erzeugte Code länger oder langsamer wird.
* Ada und VHDL ähneln sich stark, da VHDL von Ada abstammt. 
* ...

Anwendungen von Ada-Software:
* Ariane
* ISS
* Tornado
* U-Bahnen in Paris, London, Kairo, ...
* [http://www.gnat.com/aa_lookwho.php weitere...]

Weitere Informationen, Einstieg, Compiler, FAQ:
http://www.adapower.com/

== AVR-Ada ==

AVR-Ada basiert auf GNAT, dem Ada-Compiler des GCC. Da der Ada-Compiler das selbe Backend wie der C-Compiler verwendet, ist die Codequalität bei AVR-Ada ähnlich hoch wie bei AVR-GCC.

AVR-Ada wird auf Sourceforge als [https://sourceforge.net/p/avr-ada/wiki/Home/ Projekt] geführt.

== Installation ==
=== Windows ===

Um 12/2007 war AVR-Ada im Softwarepaket [[WinAVR]] enthalten. Inzwischen (3/2010) ist es nicht mehr enthalten, kann aber nachinstalliert werden [http://www.mikrocontroller.net/topic/168823#1614208].

=== Unix/Linux ===

Zur Installation ist ein funktionierender GCC-Ada-Compiler >= 3.4 für das Hostsystem notwendig. Wenn dieser nicht als Paket vorhanden ist kann er folgendermaßen gebaut werden:

<pre>
# gcc-3.4.5.tar.bz2 herunterladen
tar xjf gcc-3.4.5.tar.bz2
mkdir obj
cd obj
../gcc-3.4.5/configure --prefix=/usr/local/ada --enable-languages=c,ada --disable-nls
make bootstrap
cd gcc
make gnattools
cd ..
make install
# nur für Darwin/Mac OS X notwendig:
find /usr/local/ada/ -name *\.a -exec ranlib -c "{}" \;
</pre>

Danach /usr/local/ada/bin zum PATH hinzufügen und AVR-Ada nach den Anleitungen auf der Webseite bauen.

=== Mac OS X ===

Komplettpaket (Ada, C, Assembler):
[http://www.mikrocontroller.net/download/avr-gcc-ada-3.4.5-20050802-macosx-mikrocontroller.net.tar.bz2 avr-gcc-ada-3.4.5-20050802-macosx-mikrocontroller.net.tar.bz2] herunterladen (16 MB) und nach /usr/local/avr entpacken. Die Software wurde unter Panther (10.3) kompiliert, sollte aber auch mit 10.4 funktionieren.

[[Category:AVR]]