Projects

Displaying results 1 to 4 of 4.

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 …
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 …
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 …
SAMS – Safety component for autonomous mobile service robots

The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a …