Zhenyu Bai

Zhenyu Bai is a researcher at the University of Toulouse specializing in real-time and embedded systems, with a focus on Worst-Case Execution Time (WCET) analysis methodology.

His core research areas include:

• Real-Time Systems: Emphasis on timing predictability and schedulability
• Embedded Systems: Resource-constrained hardware/software co-design
• Computer Architecture: Microarchitectural impacts on timing behavior
• Worst-Case Execution Time Analysis: Techniques for accurate WCET estimation under hardware variability

His 2020 LCTES publication addresses WCET analysis challenges in systems with variable latencies, advancing methods to model cache/pipeline effects for more precise timing guarantees in safety-critical applications. This work bridges hardware architecture and real-time scheduling theory to improve analytical performance in complex embedded environments.