Sicherheitstechnik“

Mittwoch, 26. März 2014, 18:00 bis 19:00 Uhr

Hauptgebäude der Leopoldina, Vortragssaal
Jägerberg 1 (vormals Moritzburgring 10), 06108 Halle (Saale)

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. Beim Airbag-Controller im Auto geschieht dies beispielsweise innerhalb von Millisekunden. Der Nachweis des Echtzeitverhaltens ist schwierig, weil die verwendete Hardware eher für PCs, Notebooks oder Hochleistungsrechner, nicht jedoch für sicherheitskritische Systeme entworfen wurde. Dennoch müssen Echtzeitanalysen verlässliche Garantien geben. Echtzeitanalysen sind somit von zentraler Bedeutung für alle Branchen, in denen Software für die Entwicklung von sicherheitskritischen Systemen verwendet wird. Reinhard Wilhelm stellt in seinem Vortrag eine Lösung dieses Verifikationsproblems vor, die in der Flugzeug- und der Autoindustrie verwendet wird.

Reinhard Wilhelm ist seit 1978 Professor für Informatik an der Universität des Saarlandes. Nach dem Studium der Mathematik in Münster und der Informatik in München und Stanford (USA), promovierte er 1977 in Informatik an der Technischen Universität München. Seine Forschungsgebiete sind die Übersetzung von Programmiersprachen und die Verifikation von Software. Seit dessen Gründung 1990 ist Wilhelm wissenschaftlicher Direktor des Leibniz-Zentrums für Informatik in Schloss Dagstuhl. 1998 gründete er die Firma AbsInt, die Werkzeuge zur Softwarequalitätssicherung entwickelt. Reinhard Wilhelm ist seit 2013 Mitglied der Leopoldina in der Sektion Informationswissenschaften.

Die Leopoldina-Vorlesung findet als Auftaktveranstaltung des Symposiums „Die Zukunft der Forschung – Forschen für die Zukunft“ statt, zu dem Sie am Folgetag, Donnerstag, 27. März, ab 11.45 Uhr, ebenso herzlich eingeladen sind. 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. Das Symposium richtet sich an alle Interessierten.

Die Teilnahme ist kostenlos. Um eine Anmeldung bis zum 21. März wird gebeten unter: http://www.leopoldina.org/de/form/anmeldung-naturwissenschaften-2014/

Das komplette Programm des Symposiums finden Sie unter:
http://www.leopoldina.org/de/veranstaltungen/veranstaltung/event/2198/