Cyber Security
Projektübersicht
Hier finden Sie eine Reihe von uns durchgeführter Projekte aus den Bereichen Cyber Security. Weitere Informationen können über das „+“-Symbol ausgeklappt werden.
Projektstart: 01.10.2020
Projektende: 30.09.2022
Projektträger: Zentrale Innovationsprogramm Mittelstand (ZIM) des Bundesministerium für Wirtschaft und Energie (BMWi)
Projektverantwortung vor Ort:
Beteiligte WissenschaftlerInnen der Universität Augsburg:
Zusammenfassung
Im Rahmen von CBMD hat die Universität Augsburg u.a. untersucht, wie Contracts zwischen unterschiedlichen Komponenten bei der Komposition dieser validiert werden können. Darüber hinaus wurde untersucht, wie Contracts als Interface State Machines mit der Spezifikation des Verhaltens (state machine) der Komponente zusammenpassen. Im Laufe des Projekts hat sich herauskristallisiert, dass Contracts auch einen erheblichen Beitrag im Kontext von Security leisten. So kann bei einer Überprüfung der Contracts zur Laufzeit ausgeschlossen werden, dass eine Komponente “falsch” bedient wird. Aufgrund von Abhängigkeiten kann es aber auch passieren, dass eine Funktion einer Komponente eine Funktion einer anderen Komponente aufruft, ohne dass der Aufruf über die mit einem Contract abgesicherte Schnittstelle erfolgt. Daher soll in diesem Projekt durch eine statische Analyse der Abhängigkeiten im Code mit der Integration in die Contracts sichergestellt werden, dass erstens sicherheitsrelevante Funktionen und Daten einer Komponente und zweitens Seiteneffekte zwischen Komponenten identifiziert werden können und anschließend durch Tests auf dem realen System genauer überprüft und analysiert werden können.
Projektstart: 01.07.2019
Projektende: 30.06.2022
Projektträger: Horizon 2020 (H2020) - ECSEL
Projektverantwortung vor Ort:
Beteiligte WissenschaftlerInnen der Universität Augsburg:
Zusammenfassung
Cyber Physical Systems (CPS) sind eine neue Generation von Systemen, die intensive Konnektivität, embedded Computing und lokale Intelligenz vereinen, um eine Verbindung zwischen physischer und digitaler Welt zu erschaffen und ermöglichen die Zusammenarbeit zwischen diesen Systemen. Die Bedeutung von CPS nimmt mit der massiven Digitalisierung zu, eröffnet neue Marktchancen und stellt Europa vor neue Herausforderungen, um die starke europäische Position in dieser Grundlagentechnologie zu erhalten, zu stärken und auszubauen. Das Hauptziel von CPS4EU ist die Stärkung der CPS-Wertschöpfungskette durch die Schaffung europäischer KMUs und die Bereitstellung von CPS-Technologien, die wiederum die Führung der großen europäischen Konzerne in den wichtigsten Wirtschaftssektoren unterstützen sollen und auf diese Weise innovative Produkte anregen werden.
Projektstart: 15.04.2019
Projektträger: Universität Augsburg
Projektverantwortung vor Ort: