Projekte

Zeige Ergebnisse 1 bis 3 von 3.

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 ...
ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt ...
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 ...