2026-06-10 –, Poster Island D
An end-to-end case study evaluating cloud-connected workloads on CVA6 platforms is presented.
System behaviour under increasing telemetry loads is analysed using CAN trace replay.
The results provide empirical insights into the suitability of open RISC-V platforms for industrial deployment and highlight further optimisation.
Dr. Tianhai Liu is a postdoctoral researcher at KIT and a project lead at aicas GmbH. His work focuses on formal methods, consistency analysis, and verification for cyber-physical systems, with applications in automotive software, IoT architectures, and FPGA-cloud integration.
Holger Blasum is research engineer at SYSGO GmbH, with interests in architecture, design, implementation and verification (including formal methods) of safe and secure systems.