Projekte

Zeige Ergebnisse 1 bis 7 von 7

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 ...

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence