Projects

Search narrowed by:

Displaying results 1 to 5 of 5.

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 …
VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …
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 …
SATiSFy – Timely Validation of Safey and Security Requirements in Autonomous Vehicles

The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely …
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 …