Projects

Displaying results 1 to 2 of 2.

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 …
SCRATCh – SeCuRe and Agile Connected Things

The development and operation of secure, large-scale IoT systems is difficult. Technological platforms providing the necessary building blocks to …