Plädoyer für Ada: Deutliche Ansage zur Industrie 4.0 und deren Software-Basis

Betonung der zentralen Rolle der Informatik als Erfolgsfaktor

[Auf dem Campus, 09.03.2015] Der Vortrag „Sichere Softwareprodukte herstellen mit Ada“ in der Geschäftsstelle des VDI Bezirksvereins Berlin-Brandenburg (VDI BV BB) am 13. Februar 2015 von Dr. Hubert Keller, Institut für Angewandte Informatik (IAI) / Karlsruher Institut für Technologie (KIT), stellte überzeugend dar, dass zum Erfolg der „Industrie 4.0“ eine höchst zuverlässige Software benötigt wird. Dies ist nach Dr. Kellers Ansicht „Ada“. Ansonsten sieht er den Weg hin zur „Industrie 4.0“ als schmalen Pfad „über eine tiefe Schlucht – an einem Bindfaden“.

Fluch und Segen: IKT-Fernwartung

Wenn reguläre Software heute wirklich zuverlässig wäre, hätten wir viele Probleme nicht, so Dr. Keller. Obwohl „Ada“ ständig fortentwickelt werde, sehe er weitgehend eine Ignoranz der Industrie. Computer würden zunehmend miniaturisiert, aber hinsichtlich der um sich greifenden Automatisierung sei nichts sicher. So sei es heute bereits per SMS möglich, fremde Fahrzeuge abzubremsen bzw. zu beschleunigen (Remote Motor Control). Er berichtete von eigenen Erlebnissen über potenziell gefährliche Ausfälle einer PKW-Elektronik.

Nur 40 Prozent aller Software-Projekte erfolgreich

Jeder Eingabe müsse eine definierte Ausgabe entsprechen, d.h. falsche oder schädliche Eingaben müssten erkannt, gemeldet und abgelehnt werden. Gewöhnliche Software-Tests seien ungeeignet zur Aussage über deren Zuverlässigkeit, denn schon kleinste Wertveränderungen könnten Ausfälle hervorrufen. Nur knapp 40 Prozent aller Software-Projekte seien erfolgreich. Man müsse erkennen, dass Software-Fehler immer vorhanden seien – bestimmte Eingangsvoraussetzungen führten dann zu deren Aktivierung; allerdings sei die Eintrittswahrscheinlichkeit unbekannt. Man teste nur typische Szenarien und schließe dann auf eine fehlerfreie Software, was ein trügerisches Gefühl der Sicherheit schaffe.

Methodisches und logisch richtiges Programmieren mit „Ada“

Beim Einsatz von „Ada“ erkenne der Compiler strukturelle Fehler und melde diese – z.B. eine nicht abgeschlossene Fallunterscheidung (etwa eine „If“-Struktur ohne „Endif“). Natürlich könne ein streng strukturiert vorgehender Programmierer auch andere Software erfolgreich einsetzen, aber aus seiner Praxiserfahrung heraus empfahl Dr. Keller ganz klar seine Präferenz: „Nehmen Sie Ada oder lassen Sie es lieber!“

Informatiker müssen besser und produktneutral ausgebildet werden!

Vortragsteilnehmer Dipl.-Ing. Dirk Pinnow plädiert für eine verbesserte Ausbildung der Informatiker, die anhand von Strukturdiagrammen Sollkonzepte für Software erstellen, die Erstellung nachvollziehbar hinsichtlich Anfangs-, Übergangs- und Rahmenbedingungen dokumentieren und typische Fehler (z.B. falsche Start- oder Default-Werte, Division durch null oder Vorzeichenumkehr) austesten. Hacker-Kenntnisse seien dann gefragt, um fertige Software auf Schwachstellen zu untersuchen, nie aber zur Erstellung der Programme selbst.

Weitere Informationen zum Thema:

Dr. Hubert Keller
Institut für Angewandte Informatik (IAI) / Karlsruher Institut für Technologie (KIT)

AdaCore
About Ada

Dieser Beitrag wurde unter Allgemein, Initiativen, Innovationen, Kooperationen, Veranstaltungen abgelegt und mit , , , , , verschlagwortet. Setze ein Lesezeichen auf den Permalink.

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.


*