Der Einbau von vernetzten eingebetteten Systemen in Industrie- und Alltagsprodukte
stellt die Verbindung von physischer und Cyber-Welt her – es entstehen Cyber-Physische Systeme (CPS). In nahezu allen Industriezweigen übernehmen bereits heute CPS neben Komfortfunktionen auch sicherheitskritische Kontrollfunktionen (z.B. beim automatisierten Fahren, der Steuerung von Produktionsanlagen, in Energienetzen oder medizinischen Geräten). Auf Grund des hohen Schadenspotentials bei Fehlfunktionen und der großen Komplexität dieser CPS ist ihre modulare Updatefähigkeit während des Betriebs – d.h. die Aktualisierung einzelner, auch sicherheitskritischer Funktionen mit nachweislicher Erhaltung der Betriebssicherheit des Gesamtsystems ¬– von überragender Bedeutung.
Im Gegensatz zu Smartphones und PC-Betriebssystemen, bei denen regelmäßige Aktualisierungen zum Alltag gehören, stellen Updates von sicherheitskritischen CPS wesentliche höhere Anforderungen an die Architekturen dieser Systeme und die Absicherung ihrer Updates. Es werden neue Methoden, Technologien und Prozesse benötigt, mit denen der Erhalt der Betriebssicherheit der aktualisierten Systeme nachgewiesen werden kann. Gleichzeitig werden neue Methoden und Technologien benötigt, um die enorme Varianten- und Konfigurationsvielfalt bei Updates im Feld beherrschen zu können.
Im Rahmen von Step-Up!CPS werden domänen-übergreifende Software-Methoden, Technologien und Prozesse (TRL 3-4) für sichere, modulare CPS-Updates erforscht, die folgende Aspekte umfassen:
Die Middleware und ihre Dienste für Safety & Security werden als proof-of-concept realisiert und in den Forschungsinfrastrukturen der Partner in drei Anwendungsbereichen (Automotive, Industrie 4.0, Maritime) anhand von Use Cases zu evaluiert und zu demonstriert.
Patrick Uven and Philipp Ittershagen and Kim Grüttner; The 6th International Embedded Systems Symposium; 2019
Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn; 2019 4th International Conference on System Reliability and Safety (ICSRS); 2019
Razi Seyyedi, Sören Schreiner, Maher Fakih, Kim Grüttner andWolfgang Nebel; Microprocessors and Microsystems; 2020
Günter Ehmen and Björn Koopmann and Yosab Bebawy and Philipp Ittershagen; Proceedings of the 2nd IEEE International Conference on Omni-layer Intelligent Systems (COINS'20); 009 / 2020
Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Janis Kröger, Georg Hake, Ingo Stierand, Martin Fränzle, Eric Sax, Axel Hahn; The 2020 International Conference on Computational Science and Computational Intelligence (CSCI'20); 12 / 2020
Hake, Georg and Feuerstack, Sebastian and Hahn, Axel; Computer Safety, Reliability, and Security; 2020
Georg Hake, Sebastian Vander Maelen, Axel Hahn; IFAC-PapersOnLine; 0November / 2021
Houssem Guissouma, Janis Kröger, Sebastian Vander Maelen, Eric Sax; 2021 IEEE International Symposium on Systems Engineering (ISSE). Hrsg.: Institute of Electrical and Electronics Engineers IEEE; 009 / 2021
Thomas Strathmann,Georg Hake, Houssem Guissouma; Carl Philipp Hohl, Yosab Bebawy, Sebastian Vander Maelen, Andrew Koerner; 2021 Design, Automation Test in Europe Conference Exhibition (DATE); 007 / 2021
Hake, Georg and Hohl, Carl Philipp and Hahn, Axel; Journal of Marine Science and Engineering; 0July / 2021
Hake, Georg and Feuerstack, Sebastian and Hahn, Axel; Computer Safety, Reliability, and Security; 2020
Janis Kröger and Björn Koopmann and Ingo Stierand and Nadra Tabassam and Martin Fränzle; Proceedings of the 15th International Verification and Evaluation of Computer and Communication Systems (VECoS'21); 11 / 2021