Projects

FAIRe – Frugal Artificial Intelligence in Resource-limited environments

Artificial intelligence (AI) is finding increasingly diverse applications in the physical world, especially in embedded, cyber-physical devices with …

REXASI-PRO – REliable & eXplAinable Swarm Intelligence for People with Reduced mObility

Artificial intelligence (AI) is being applied widely in many domains and there is a need to realize public trust in these systems. Calls are made to …

ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …

AdaMeKoR – AdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer

The overall objective of AdaMeKoR is the development of an adaptive and multifunctional motorized bed with robotic arm system for use in nursing. For …

KosmoS – Cooperative, modular, mobile Smart Life Lab

The aim of the project is to support researchers in the design, evaluation and subsequent mediation of networked objects. For this purpose, a flexible …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …