Projekte

SASPIT – Eine Sichere Sensorplattform für das Internet der Dinge

Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, …

Adra-e – AI, Data and Robotics ecosystem

Adra-e – Unterstützung der AI, Data and Robotics Community bei der Entwicklung eines nachhaltigen europäischen Ökosystems Adra-e ist eine sog. …

BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat eine Studie zum Thema „Sicherheit von KI-Systemen: Symbolische und Hybride …

ESA - CREAM – Software Technologies Supporting CREAM

Ziel dieser Tätigkeit ist die Festlegung der Kommunikationsarchitektur eines potenziellen, zukünftigen CREAM-Systems (Collision Risk Estimation and …

VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen …

AI@EDGE – A secure and reusable Artificial Intelligence platform for Edge computing in beyond 5G Networks

Künstliche Intelligenz ist zu einer wichtigen Innovationskraft geworden und eine der Säulen der vierten industriellen Revolution. Dieser Trend wurde …

PHYSICS – Optimized hybrid space-time service continuum in FAAS

PHYSICS’s vision is to address the aforementioned challenges and empower application developers, platform owners and infrastructure providers (e.g. …

VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der …