Forschungs-partner

ÖvIT wurde von der Cyberagentur initiiert, einer Bundes-GmbH zur Förderung von Cyber-Innovationen und zur Verbesserung der IT-Sicherheit in der Verteidigung.

Das übergeordnete Ziel von ÖvIT ist es, durch die Weiterentwicklung formaler Methoden vertrauenswürdige IT in die breite Anwendung zu bringen. Die vollständige Abwesenheit von Sicherheitslücken kann nur mathematisch bewiesen werden, was die einzige vertrauenswürdige Grundlage für zuverlässig gesicherte, hochkomplexe Systeme und kritische Infrastrukturen sein sollte.

Formula-V ist eines von fünf Projekten des Programms "Ökosystem Vertrauenswürdige IT (ÖvIT)", das auf eine vertrauenswürdige IT-Hardware- und Software-Infrastruktur abzielt. 

Diese Forschungsgruppe zielt darauf ab, Werkzeuge und Mechanismen in formalen Methoden und Programmiertechniken voranzutreiben. Mehrere Arbeitsgruppen werden ein Ökosystem von Sicherheitsmechanismen und Methoden für die Softwareentwicklung schaffen, das einen großen Schritt in der Softwareentwicklung darstellt.

UP2DATE4SDV ist ein internationales Projekt mit dem Ziel, sichere modulare Updates, Upgrades und die dynamische Neuzuweisung und Ausführung von Aufgaben für das Software Defined Vehicle (SDV) zu ermöglichen.

UP2DATE4SDV bringt Automobil-Hardware-Hersteller, die Automobil-Software-Industrie und KMU mit den bekanntesten Forschungsinstituten auf diesem Gebiet zusammen, um gemeinsam ein umfassendes Ökosystem für aktualisierbare, aufrüstbare und rekonfigurierbare softwaredefinierte vernetzte und automatisierte Fahrzeuge zu schaffen.

Dazu soll eine Middleware-Lösung geschaffen und in die aktuellen automobilen Open-Source-Standards integriert werden, die eine vollständige Abstraktion nicht nur von der im Fahrzeug laufenden Software, sondern auch von der installierten Hardware ermöglicht. Dadurch kann die Software über die Lebensdauer des Fahrzeugs kontinuierlich over-the-air aktualisiert und somit sicher und aktuell gehalten werden. Gleichzeitig können die Hardware-Komponenten leicht ausgetauscht oder ergänzt werden, um zukünftigen Anforderungen gerecht zu werden.

Um dies zu erreichen, wird die Projektgruppe zusätzlich eine neue Hardwarekomponente entwickeln, die auf etablierten Systemen der Automobilindustrie aufbaut. Diese wird so erweitert, dass der unvermeidliche Overhead durch die Update-Fähigkeit der Systeme dank expliziter Hardware-Unterstützung minimiert wird. Die Gesamtlösung eignet sich für die kommenden zonalen E/E-Architekturen, die eine permanente Verbindung zur Cloud haben.

Das Projekt zielt daher darauf ab, Methoden zu entwickeln und zu integrieren, die die Sicherheit der Systeme während einer Aktualisierung gewährleisten, indem alle einzelnen Automobilanwendungen strikt in Containern getrennt werden. Darüber hinaus wird eine Sicherheitsschicht eingeführt, die Angriffe über die Cloud-Verbindung oder zwischen den Anwendungsmodulen verhindert.

Schließlich wollen wir den Entwicklern von Automobilsoftware die Nutzung unserer Middleware erleichtern, indem wir eine Referenzschicht auf der Basis eines Hypervisors einrichten, die verhindert, dass sich die Echtzeitanforderungen verschiedener Anwendungsmodule gegenseitig beeinflussen. Die Kommunikation zu den Fahrzeugkomponenten und zur Cloud wird abstrahiert und standardisiert.

In addition, we will provide methods to automate the V&V process for each further update, upgrade, or reconfiguration, thus ensuring security at every step.

Rechenzentren bilden als Grundlage Cloud-basierter IT-Lösungen eine zentrale Komponente der industriellen Digitalisierung. Um auch für sicherheitskritische Anwendungsfälle aus den Bereichen Medizin oder kritische Infrastruktur gerüstet zu sein, muss jedoch die Vertrauenswürdigkeit und Sicherheit der Server-Infrastruktur im Rechenzentrum verstärkt und im Sinne der europäischen und nationalen Souveränität aufgewertet werden.

Das Projekt MikroRZ strebt die sichere und skalierbare Datenhaltung in Mikrokern-basierten Rechenzentren an. Es soll einen sicheren Hypervisor für Rechenzentren als Grundlage einer souveränen IT-Infrastruktur entwickeln.

SEMECO is an acronym for Secure Medical Microsystems and Communications. It represents a research initiative in the field of medicine, funded by the German Federal Ministry for Education and Research. The SEMECO future cluster is Europe’s first medical electronics cluster focused on medical needs.

Das medizinische Forschungsprojekt SEMECO zielt darauf ab, das Potenzial von Mikroelektronik, Sensoren und Mikroaktoren zu nutzen, um das Gesundheitswesen zu verändern. Das bestehende Regelwerk wird der Komplexität moderner Gesundheitstechnologien oft nicht gerecht, was zu Versorgungsengpässen, Fehlalarmen und Behandlungsfehlern führt.

SEMECO’s primary objective is to create an academic-industrial ecosystem to build secure, highly integrated cybermedicine microsystems. By streamlining accreditation processes and facilitating the development of intelligent medical instruments and implants, innovation in the medical technology sector shall be eased and fastened, benefiting both healthcare professionals and patients.

Die SEMECO-Projektpartner kommen aus den unterschiedlichsten Bereichen, darunter Mikroelektronik, Kommunikationstechnologie, Nanotechnologie, KI-basierte Wissenssysteme und sichere Laufzeitumgebungen. Diese bewusst breit gefächerte Mischung von Wissen soll Barrieren überwinden und Innovationen beschleunigen.

The MANNHEIM-CeCaS project researches software development methods for the digitalization of automobility. With its title “Supercomputing for Automotive” the project sets a different focus than EMDRIVE, in which Kernkonzept is also involved.

Ziel des CeCaS-Projekts ist die Entwicklung einer Hochleistungs-Supercomputing-Plattform für Automobile. Deren zentrale Recheneinheit basiert auf neuartigen, automobilgeeigneten Hochleistungsprozessoren in nicht-planarer Transistortechnologie (FinFET) und wird durch eine adaptive Softwareplattform ergänzt. Dies wird bald der einzige Weg zur Bewältigung der großen Datenmengen sein, die für anspruchsvolle Berechnungen in hochautomatisierten Fahrzeugen benötigt werden.

Für die praktische Anwendbarkeit der Technologie im Bereich des autonomen Fahrens muss die vollständige ASIL-D-Qualifikation auf Systemebene erreicht werden.