Projekte

FAIRe – Frugal Artificial Intelligence in Resource-limited environments

Künstliche Intelligenz (KI) findet zunehmend vielfältige Anwendungen in der physischen Welt, insbesondere auf eingebetteten, cyber-physischen Geräten …

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 …

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 …

AdaMeKoR – AdaMeKoR Teilvorhaben: Roboterarm-Assistenzsystem und robotische Gesamtkonzepte für den Patiententransfer

Das übergeordnete Ziel von AdaMeKoR ist die Entwicklung eins adaptiven und multifunktionalen, motorisierten Betts mit Roboterarmsystem zur Anwendung …

KosmoS – Kooperatives, modulares, mobiles SmartLife Lab

Ziel des Projekts ist es, Forschende bei der Gestaltung, Evaluation und späteren Vermittlung vernetzter Gegenstände zu unterstützen. Dazu wird ein …

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 …

SATiSFy – Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen

Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu …

SAMS – Sicherungskomponente für Autonome Mobile Systeme

Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit …