Willkommen
|
Facebook Twitter Google Plus
09.12.2016 - 18:54
Prof. Thomas Henzinger, Leiter des Institute of Science and Technology Austria
Foto: Kronen Zeitung

Neue mathematische Modelle machen Welt sicherer

16.08.2016, 08:01

Ohne Software funktioniert heutzutage kein Telefonat, keine Banküberweisung, kein Auto, kein Operationstisch. Software hat all diese Systeme effizienter, funktionaler und billiger gemacht. Aber sie ist fehleranfällig und Softwarefehler können das Elektrizitätsnetz zum Ausfall, einen Herzschrittmacher zum Stillstand und ein Flugzeug zum Absturz bringen.

Daher sind die Ingenieurs- Wissenschaften gefordert, Methoden zu entwickeln, die Softwarefehler vorhersagen und neutralisieren können. "Solche Methoden beruhen auf der mathematischen Analyse von Softwaresystemen, ähnlich den statischen Gleichungen zur Berechnung der Stabilität eines Gebäudes oder den dynamischen Gleichungen zur Steuerung eines Motors", so Prof. Thomas Henzinger, Leiter des Institute of Science and Technology (IST) Austria in Klosterneuburg. "Ähnlich, aber doch grundverschieden: Während ein Gebäude voraussichtlich nicht einstürzen wird, wenn eine Niete vergessen wurde, kann bei Software die allerkleinste Ungenauigkeit - etwa das Tauschen einer 0 und 1 in einem Programm - zur Katastrophe führen."

Henzinger hat in seiner 30- jährigen Forscherkarriere mathematische Modelle entwickelt, die unsere Software- abhängige Welt sicherer machen. Sie bilden heute die Grundlage für industrielle Softwareentwicklungs- und Zertifizierungsprozesse. Dennoch können sich die Forscher nicht zurücklehnen.

Es entstehen ständig neue Anforderungen und Anwendungsbereiche für Software: Ist etwa die Dauer einer Berechnung von sekundärer Bedeutung, wenn sie am PC durchgeführt wird, so muss der Autopilot im Flugzeug die Ergebnisse in Echtzeit verwerten und der Bank- Computer außerdem die Privatsphäre der Kunden schützen.

Es ist oft davon zu lesen, dass Roboter den Menschen immer mehr Routinearbeiten - bis hin zum Autofahren - abnehmen werden. Die Aufgabe, diese Maschinen zu programmieren, und zwar in einer Art und Weise, die zum Beispiel das Autofahren sicherer macht, bleibt aber eine Herausforderung für menschliche Kreativität und Erfindergeist.

Zur Person:
Thomas Henzinger ist gebürtiger Linzer, der zum Informatikstudium an die Stanford University im Silicon Valley (Kalifornien) gegangen und nach einer 25- jährigen Karriere im Ausland vor sieben Jahren als Leiter des neugegründeten Institute of Science and Technology (IST) Austria nach Österreich zurückgekehrt ist. 2012 hat er mit dem Wittgenstein- Preis die höchste wissenschaftliche Auszeichnung Österreichs erhalten.

In der Serie "Krone der Wissenschaft" stellen wir Projekte von Spitzenforschern und -forscherinnen in Österreich vor. Ausgewählt werden sie von Prof. Dr. Georg Wick, dem Leiter des Labors für Autoimmunität an der Medizinischen Universität Innsbruck.

16.08.2016, 08:01
Kronen Zeitung/red
Kommentare  
Kommentare sortieren nach:
km_num_com
km_datum_formatiert_com
von km_nickname_text_com  
km_text_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_notify_status(Object({'object_id':km_object_id_com}))"); km_kmcom_js_end_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_delete_status(Object({'object_id':km_object_id_com, 'status':km_status_com}))"); km_kmcom_js_end_com
Antworten sortieren nach:
km_antworten_com
km_datum_formatiert_com
von km_nickname_text_com  
km_text_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_notify_status(Object({'object_id':km_object_id_com}))"); km_kmcom_js_end_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_delete_status(Object({'object_id':km_object_id_com, 'status':km_status_com}))"); km_kmcom_js_end_com
User-Beiträge geben nicht notwendigerweise die Meinung des Betreibers/der Redaktion bzw. von Krone Multimedia (KMM) wieder. In diesem Sinne distanziert sich die Redaktion/der Betreiber von den Inhalten in diesem Diskussionsforum. KMM behält sich insbesondere vor, gegen geltendes Recht verstoßende, den guten Sitten oder der Netiquette widersprechende bzw. dem Ansehen von KMM zuwiderlaufende Beiträge zu löschen, diesbezüglichen Schadenersatz gegenüber dem betreffenden User geltend zu machen, die Nutzer-Daten zu Zwecken der Rechtsverfolgung zu verwenden und strafrechtlich relevante Beiträge zur Anzeige zu bringen (siehe auch AGB).
Werbung
Werbung
Meistgelesen
Meistkommentiert
Werbung
Angaben gem ECG und MedienGesetz: Medieninhaber, Hersteller und Herausgeber bzw. Diensteanbieter
Krone Multimedia GmbH & Co KG (FBN 189730s; HG Wien) Internetdienste; Muthgasse 2, 1190 Wien
Krone Multimedia © 2016 krone.at | Impressum