Projekte

REXASI-PRO – Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität

Künstliche Intelligenz (KI) wird in vielen Bereichen weit verbreitet eingesetzt, und es ist notwendig, Vertrauen in diese Systeme in der breiten …

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 …

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 …

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 …

GEOBOX – Standardisierung der Geobox-Infrastruktur - Dezentrale Datenhaltung und regionale Vernetzung

Ziel des Vorhabens GeoBox-I ist die experimentelle Entwicklung, Erprobung und Verbreitung eines praxistauglichen Prototypen einer standardisierten und …