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 mit begrenzten Ressourcen und unter anspruchsvolle

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 Öffentlichkeit zu erreichen. Forderungen nach dediziert

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 die Modellierung auf der abstrakten elektronische

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 RISC-V-Prozessoren. RISC-V ist eine neue, offene und freie Befehls

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 in der Pflege. Hierfür werden Sensorikkomponenten e

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 flexibles Konzept verfolgt, in dem sowohl etablierte

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 RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro

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 entwickeln, um die notwendigen Security- und Safety-A

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 einem zertifizierten Sicherheits-Laserscanner die