Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Wie man Airbusse, Boeings und Raumstationen steuert - Ada-Programmierexperten treffen sich in Jena

28.02.2002


Rund 50 Programmier-Experten aus Deutschland und den angrenzenden Ländern treffen sich vom Mittwoch, dem 6., bis Freitag, dem 8. März zu einer hochkarätigen Tagung an der Uni Jena. Dabei geht es um die Programmiersprache "Ada", die besonders für die Entwicklung von Steuersoftware bei Flugzeugen, Eisenbahnen und in der Raumfahrt eingesetzt wird - in Bereichen also, bei denen es ganz besonders auf Zuverlässigkeit und Sicherheit ankommt. Schließlich geht es dabei immer auch um Menschenleben, und da will man die Risiken so gering wie nur möglich halten.

Die Tagung unter dem Motto "Ada und sicherheitskritische Software" wird von der Gesellschaft für Informatik (GI) und vom Förderverein Ada Deutschland durchgeführt und von Prof. Jürgen F. Winkler vom Lehrstuhl für Programmiersprachen und Compiler organisiert. Sie findet in den Hörsälen 7 und 8 in der Carl-Zeiss-Straße 3 auf dem Campus Ernst-Abbe-Platz statt. Die GI unterhält eine eigene Ada-Fachgruppe.

Die Vorträge befassen sich mit Fortschritten beim Entwurf und Erstellen von sicherheitskritischer Software. Außerdem führen verschiedene Firmen neuartige Werkzeuge vor, die es erleichtern, neue Software zu entwickeln - ein durch und durch an der Praxis orientiertes Programm also.

Die Programmiersprache "Ada" ist nach Lady Ada Lovelace (1815-1852) benannt, einer Tochter des englischen Dichters Lord Byron. Als erster Mensch machte sie sich Gedanken darüber, wie man einen Computer programmieren könne. Dabei ersann sie grundlegende Programmiertechniken, die noch heute angewandt werden, etwa Programmschleifen und Unterprogramme - an der Wiege der Informatik stand also eine Frau.

Auf die Programmierung von Computern kam Ada Lovelace durch ihre Bekanntschaft mit dem britischen Mathematiker Charles Babbage. Der hatte damals gerade den ersten, noch mechanischen, Computer entwickelt, die "Analytical Engine" (Analytische Maschine). Sie verfügte bereits, wie moderne Computer auch, über einen Speicher und ein Rechenwerk und konnte programmiert werden. Wäre sie gebaut worden, das Computerzeitalter hätte womöglich hundert Jahre früher begonnen. Doch die damaligen Mechaniker waren nicht in der Lage, die Einzelteile mit der erforderlichen Genauigkeit herzustellen.

Weitere Informationen: Friedrich-Schiller-Universität Jena, Fakultät für Mathematik und Informatik, Institut für Informatik, Ernst-Abbe-Platz 2-4, 07743 Jena, Prof. Dr. Jürgen F. H. Winkler, Tel. 03641 / 9-46 340, Fax 03641 / 9-46 302, E-Mail: winkler@informatik.uni-jena.de

Hubert J. Gieß | idw
Weitere Informationen:
http://psc.informatik.uni-jena.de/Themen/Ada-DE-2002-prog.pdf
http://psc.informatik.uni-jena.de/Themen/Ada-DE-2002-engl.pdf
http://psc.informatik.uni-jena.de/

Weitere Berichte zu: Programmiersprache

Weitere Nachrichten aus der Kategorie Veranstaltungsnachrichten:

nachricht Von festen Körpern und Philosophen
23.02.2018 | Deutsche Physikalische Gesellschaft (DPG)

nachricht Spannungsfeld Elektromobilität
23.02.2018 | Friedrich-Schiller-Universität Jena

Alle Nachrichten aus der Kategorie: Veranstaltungsnachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Vorstoß ins Innere der Atome

Mit Hilfe einer neuen Lasertechnologie haben es Physiker vom Labor für Attosekundenphysik der LMU und des MPQ geschafft, Attosekunden-Lichtblitze mit hoher Intensität und Photonenenergie zu produzieren. Damit konnten sie erstmals die Interaktion mehrere Photonen in einem Attosekundenpuls mit Elektronen aus einer inneren atomaren Schale beobachten konnten.

Wer die ultraschnelle Bewegung von Elektronen in inneren atomaren Schalen beobachten möchte, der benötigt ultrakurze und intensive Lichtblitze bei genügend...

Im Focus: Attoseconds break into atomic interior

A newly developed laser technology has enabled physicists in the Laboratory for Attosecond Physics (jointly run by LMU Munich and the Max Planck Institute of Quantum Optics) to generate attosecond bursts of high-energy photons of unprecedented intensity. This has made it possible to observe the interaction of multiple photons in a single such pulse with electrons in the inner orbital shell of an atom.

In order to observe the ultrafast electron motion in the inner shells of atoms with short light pulses, the pulses must not only be ultrashort, but very...

Im Focus: Good vibrations feel the force

Eine Gruppe von Forschern um Andrea Cavalleri am Max-Planck-Institut für Struktur und Dynamik der Materie (MPSD) in Hamburg hat eine Methode demonstriert, die es erlaubt die interatomaren Kräfte eines Festkörpers detailliert auszumessen. Ihr Artikel Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, nun online in Nature veröffentlich, erläutert, wie Terahertz-Laserpulse die Atome eines Festkörpers zu extrem hohen Auslenkungen treiben können.

Die zeitaufgelöste Messung der sehr unkonventionellen atomaren Bewegungen, die einer Anregung mit extrem starken Lichtpulsen folgen, ermöglichte es der...

Im Focus: Good vibrations feel the force

A group of researchers led by Andrea Cavalleri at the Max Planck Institute for Structure and Dynamics of Matter (MPSD) in Hamburg has demonstrated a new method enabling precise measurements of the interatomic forces that hold crystalline solids together. The paper Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, published online in Nature, explains how a terahertz-frequency laser pulse can drive very large deformations of the crystal.

By measuring the highly unusual atomic trajectories under extreme electromagnetic transients, the MPSD group could reconstruct how rigid the atomic bonds are...

Im Focus: Verlässliche Quantencomputer entwickeln

Internationalem Forschungsteam gelingt wichtiger Schritt auf dem Weg zur Lösung von Zertifizierungsproblemen

Quantencomputer sollen künftig algorithmische Probleme lösen, die selbst die größten klassischen Superrechner überfordern. Doch wie lässt sich prüfen, dass der...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Von festen Körpern und Philosophen

23.02.2018 | Veranstaltungen

Spannungsfeld Elektromobilität

23.02.2018 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen - April 2018

21.02.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Vorstoß ins Innere der Atome

23.02.2018 | Physik Astronomie

Wirt oder Gast? Proteomik gibt neue Aufschlüsse über Reaktion von Rifforganismen auf Umweltstress

23.02.2018 | Biowissenschaften Chemie

Wie Zellen unterschiedlich auf Stress reagieren

23.02.2018 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics