Tianhai Liu
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.
Sessions
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.
FPGA lifecycle management remains tied to proprietary toolchains and host architectures, leaving RISC-V without a vendor-neutral model for scalable bitstream deployment.
A host-agnostic control-plane architecture is presented that shifts lifecycle management to the operating-system layer by leveraging standard Linux capabilities, thereby decoupling deployment from specific ISAs and vendor stacks. This enables Linux-capable RISC-V processors to serve as control hosts in heterogeneous FPGA systems.
Prototyped on a Zynq-7000 SoC and generalizable to RISC-V platforms, the architecture provides a portable foundation for fleet-scale FPGA management.