Leopoldina Menü

Leopoldina Home

Nachricht | Freitag, 21. März 2014

Leopoldina-Vorlesung: Reagiert der Flugzeugcomputer schnell genug?

Leopoldina-Vorlesung: Reagiert der Flugzeugcomputer schnell genug?

Foto: © Marcito - Fotolia.com

Die Sicherheit in vielen Bereichen des alltäglichen Lebens, beispielsweise im Straßen-, Schienen- und Flugverkehr, hängt maßgeblich von der korrekten Funktion von eingebetteten Rechnern ab. Prof. Dr. Reinhard Wilhelm wird am Mittwoch, 26. März, 18 Uhr, in der Leopoldina-Vorlesung „Reagiert der Flugzeugcomputer schnell genug? ─ Echtzeitanalysen in der Sicherheitstechnik” erläutern, wie man das zuverlässige Funktionieren dieser Sicherheitssysteme testen kann. Die Veranstaltung findet in der Nationalen Akademie der Wissenschaften Leopoldina in Halle (Saale) statt.

Wer Auto fährt oder im Flugzeug reist, ahnt häufig nichts von der Existenz eingebetteter Computer in der Technik dieser Verkehrsmittel. Diese Rechner müssen nicht nur korrekte Ergebnisse berechnen, sondern diese auch innerhalb vorgegebener, oft sehr kurzer Fristen liefern. Echtzeitanalysen sind somit von zentraler Bedeutung für alle Branchen, in denen Software für die Entwicklung von sicherheitskritischen Systemen verwendet wird. Reinhard Wilhelm,  wissenschaftlicher Direktor des Leibniz-Zentrums für Informatik in Schloss Dagstuhl, stellt in seinem Vortrag eine Lösung dieses Verifikationsproblems vor, die in der Flugzeug- und der Autoindustrie verwendet wird.

Die Leopoldina-Vorlesung ist die Auftaktveranstaltung des Symposiums „Die Zukunft der Forschung – Forschen für die Zukunft", das am Donnerstag, 27. März, stattfindet. Das Symposium der Mitglieder der Leopoldina-Klasse I – Mathematik, Natur- und Technikwissenschaften – versteht sich als Forum für den interdisziplinären Austausch. In ihren Vorträgen geben fünf renommierte Wissenschaftler Einblicke in die aktuelle Forschung der Akademie-Mitglieder. Dabei geht es um die Themen Material-Recycling, Entstehung von Planeten, Geothermie, algebraische Geometrie und Katalyse.

ANSPRECHPARTNER

Leopoldina

Caroline Wichmann

Leiterin der Abteilung Presse- und Öffentlichkeitsarbeit

Tel. 0345 - 472 39 - 800
Fax 0345 - 472 39 - 809
E-Mail caroline.wichmann @leopoldina.org

RSS-Feed

Der RSS-Feed informiert Sie automatisch über die neuesten Nachrichten:

RSS-Feed der Nachrichten

Grundsätze für die Presse- und Öffentlichkeitsarbeit

Grundsätze für Pressemitteilungen der Nationalen Akademie der Wissenschaften Leopoldina

Leitlinien zur guten Wissenschafts-PR (pdf)