Hongwei Du

Papers

Total Citations

H-Index

About

Hongwei Du is a researcher whose work centers on the verification and analysis of real-time systems, with a particular focus on the Robot Operating System (ROS). His most-cited paper, "Verifying schedulability of tasks in ROS-based systems" (2018), addresses a critical challenge in robotics: ensuring that time-sensitive tasks meet their deadlines in complex, distributed environments. By developing formal methods to analyze task scheduling, Du provides a foundation for building safer and more predictable robotic systems—an essential contribution as ROS becomes the de facto standard in both research and industry. Though his citation count (8 for this key work) reflects a focused, emerging impact, his research has practical implications for autonomous vehicles, industrial automation, and service robots. Du’s work bridges the gap between theoretical real-time scheduling and real-world implementation, offering tools that help engineers verify system behavior before deployment. For students and researchers in cyber-physical systems, his approach demonstrates how rigorous verification can prevent costly failures in safety-critical applications.