https://www.faz.net/-gqz-9mzdt

Algorithmensicherheit : Von Logik umgebracht oder gerettet

Der amerikanische Astronaut Scott Kelly 2015 in einem russischen Simulator Bild: NASA/Bill Ingalls

Flugzeugabsturz, Börsencrash, Strahlentherapiefehler, Gebäudekollaps: Was tun wir gegen Risiken durch Software? Eine Möglichkeit: Wir bringen Maschinen die Kultur mathematischer Beweise bei.

          9 Min.

          Katastrophen, bei denen Maschinen auf Kosten von Menschen kaputtgehen, gibt es immer wieder. Manchmal heißt es dann, der Teil der Maschine, an dem es liege, sei ein unsichtbarer: ihr Programm.

          Dietmar Dath

          Redakteur im Feuilleton.

          Im Oktober 2018 und im März 2019 stürzten zwei Flugzeuge vom Typ Boeing 737 Max 8 ab. Menschen starben. Von anderen Maschinen desselben Typs werden Un- und Zwischenfälle mit unterschiedlich schwerwiegenden Folgen gemeldet. Schuld, sagt hier eine ungenaue Auffassung des Hergangs, die weite Verbreitung gefunden hat, seien die Computer an Bord und deren Software. Wer je in einem Mercedes-Benz-Pkw neueren Baujahrs aus einer Parkbucht gefahren ist und den aufdringlichen Quatsch erlebt hat, mit dem das elektronische System des Fahrzeugs sich einerseits wichtig macht, während es andererseits warnt, man solle sich von ihm nicht ablenken lassen, findet das Gerücht über Flugzeuge, die angeblich unter Computerprogrammen leiden, sofort glaubhaft.

          Testen Sie unsere Angebote.
          Jetzt weiterlesen

          Testen Sie unsere Angebote.
          F.A.Z. PLUS:

          FAZ.NET komplett

          : Neu

          F.A.Z. Woche digital

          F.A.Z. Digital – Jubiläumsangebot!

          Diese und viele weitere Artikel lesen Sie mit F+

          Andreas Scheuer am Mittwoch in Berlin

          Verkehrsminister Scheuer : Im Porsche durch die Politik

          Verkehrsminister Andreas Scheuer hat einen Vorteil, der ihm beim Streit über die Pkw-Maut zum Nachteil gereichen könnte: eine gewisse Lockerheit.