Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter (O) November 30, 2016

Zuverlässige und sichere Software offener Automatisierungssysteme der Zukunft – Herausforderungen und Lösungswege

Reliable, safe and secure software of connected future control systems – challenges and solutions
  • Hubert B. Keller

    Hubert B. Keller leitet die Arbeitsgruppe ProSys – Prozessoptimierung, intelligente Sensorsysteme und sichere Software am Institut für Angewandte Informatik des KIT. Er ist für das Querschnittsthema „Sichere Software“ im Energy Lab 2.0 und im BMBF Projekt KASTEL für das Thema „Anomalieerkennung durch modellbasierte Plausibilitätsprüfung“ zur Erhöhung der Sicherheit in industriellen Leitsystemen verantwortlich. Sein Diplom in den Ingenieurswissenschaften erwarb er 1982 an der Universität Karlsruhe, seine Promotion erhielt er in 1988 von der Universität Clausthal. Bis 1984 hat er als Dipl.-Ingenieur bei Siemens im Bereich Entwicklung hochverfügbare Prozessleitsysteme gearbeitet. Seine Arbeits- und Forschungsschwerpunkte sind zuverlässige und sichere Echtzeit-Systeme, Software Engineering, Maschinelle Intelligenz, intelligente Sensornetze und Prozessleitsysteme. Er ist Dozent für Technische Informatik der Fakultät für Maschinenbau des KIT sowie für Realzeitsysteme an der DHBW Karlsruhe.

    Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

    EMAIL logo
    , Oliver Schneider

    Oliver Schneider arbeitet am Institut für Angewandte Informatik am Karlsruher Institut für Technologie (KIT) in der Arbeitsgruppe ProSys – Prozessoptimierung, intelligente Sensorsysteme und sichere Software. Hauptarbeitsgebiet: Softwareentwicklungsprozesse für sichere Software.

    Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

    , Jörg Matthes

    Jörg Matthes arbeitet am Institut für Angewandte Informatik am Karlsruher Institut für Technologie (KIT) in der Arbeitsgruppe ProSys – Prozessoptimierung, intelligente Sensorsysteme und sichere Software. Hauptarbeitsgebiete: Maschinelles Sehen, Hochtemperaturprozesse, Mess- und Regelungstechnik.

    Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

    and Veit Hagenmeyer

    Veit Hagenmeyer ist Direktor des Instituts für Angewandte Informatik und Professor für Energieinformatik in der Fakultät für Informatik des KIT. Davor war er Kraftwerksdirektor bei BASF in Ludwigshafen. Sein Interesse liegt im Umgang mit polyvalenten Energiesystemen (Strom, Erdgas, Dampf, lokale Wärmeverteilung) und Co-Erzeugung, im robusten Entwurf von Energiesystemen auf Basis von Energiezustandsdaten und der praktischen Umsetzung im Demonstrator Energy Lab 2.0 des KIT.

    Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

Zusammenfassung

In der modernen Automatisierung ist die Zuverlässigkeit der Software grundlegend und durch konstruktive Maßnahmen zu sichern. Echtzeitsysteme müssen über Schedulingverfahren auf Basis des Prozesskonzepts der Automatisierungstechnik beweisbar die zeitlichen Anforderungen im worst case erfüllen. Fehlervermeidende Sprachen mit Typprüfungen sind notwendig für die Erfüllung der Zuverlässigkeit. Die Anforderungen der Informationssicherheit sind in offenen Automatisierungssystemen integrativ zu erfüllen. Schwachstellen in der Implementierung oder den additiven Sicherheitsmechanismen stellen eine inakzeptable Gefährdung dar.

Abstract

Reliability of software is fundamental in modern control systems and has to be secured by constructive methods. Real time systems must guarantee real time requirements under worst case conditions based on scheduling algorithms and the process concept of computer science (operating system). Error avoiding languages with strong typing is fundamental for achieving reliability. Connected control systems have to satisfy information security requirements in an integrative manner. Vulnerabilities of the implementation or of security equipment represent unacceptable weaknesses.

Über die Autoren

Hubert B. Keller

Hubert B. Keller leitet die Arbeitsgruppe ProSys – Prozessoptimierung, intelligente Sensorsysteme und sichere Software am Institut für Angewandte Informatik des KIT. Er ist für das Querschnittsthema „Sichere Software“ im Energy Lab 2.0 und im BMBF Projekt KASTEL für das Thema „Anomalieerkennung durch modellbasierte Plausibilitätsprüfung“ zur Erhöhung der Sicherheit in industriellen Leitsystemen verantwortlich. Sein Diplom in den Ingenieurswissenschaften erwarb er 1982 an der Universität Karlsruhe, seine Promotion erhielt er in 1988 von der Universität Clausthal. Bis 1984 hat er als Dipl.-Ingenieur bei Siemens im Bereich Entwicklung hochverfügbare Prozessleitsysteme gearbeitet. Seine Arbeits- und Forschungsschwerpunkte sind zuverlässige und sichere Echtzeit-Systeme, Software Engineering, Maschinelle Intelligenz, intelligente Sensornetze und Prozessleitsysteme. Er ist Dozent für Technische Informatik der Fakultät für Maschinenbau des KIT sowie für Realzeitsysteme an der DHBW Karlsruhe.

Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

Oliver Schneider

Oliver Schneider arbeitet am Institut für Angewandte Informatik am Karlsruher Institut für Technologie (KIT) in der Arbeitsgruppe ProSys – Prozessoptimierung, intelligente Sensorsysteme und sichere Software. Hauptarbeitsgebiet: Softwareentwicklungsprozesse für sichere Software.

Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

Jörg Matthes

Jörg Matthes arbeitet am Institut für Angewandte Informatik am Karlsruher Institut für Technologie (KIT) in der Arbeitsgruppe ProSys – Prozessoptimierung, intelligente Sensorsysteme und sichere Software. Hauptarbeitsgebiete: Maschinelles Sehen, Hochtemperaturprozesse, Mess- und Regelungstechnik.

Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

Veit Hagenmeyer

Veit Hagenmeyer ist Direktor des Instituts für Angewandte Informatik und Professor für Energieinformatik in der Fakultät für Informatik des KIT. Davor war er Kraftwerksdirektor bei BASF in Ludwigshafen. Sein Interesse liegt im Umgang mit polyvalenten Energiesystemen (Strom, Erdgas, Dampf, lokale Wärmeverteilung) und Co-Erzeugung, im robusten Entwurf von Energiesystemen auf Basis von Energiezustandsdaten und der praktischen Umsetzung im Demonstrator Energy Lab 2.0 des KIT.

Karlsruher Institut für Technologie (KIT), Institut für Angewandte Informatik (IAI), Kaiserstr. 12, 76131 Karlsruhe

Erhalten: 2016-4-1
Angenommen: 2016-10-31
Online erschienen: 2016-11-30
Erschienen im Druck: 2016-12-28

©2016 Walter de Gruyter Berlin/Boston

Downloaded on 19.3.2024 from https://www.degruyter.com/document/doi/10.1515/auto-2016-0060/html
Scroll to top button