Projects

Displaying results 11 to 12 of 12.

CAMELOT – Continuous Adaptive Machine-Learning of Transfer of Control Situations

A remaining major challenge with autonomous systems is the handling of situations that the system cannot handle on its own. Up to now, this transfer …
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 …