Key research themes
1. How can fault-tolerant distributed clock synchronization algorithms be formally verified and modeled for real-time networked systems?
This research area focuses on the formal verification and modeling of fault-tolerant clock synchronization algorithms used in distributed real-time networks, such as TTEthernet. It matters because achieving and verifying precise synchronization in safety-critical systems requires accounting for both fault-free and faulty configurations, ensuring reliability and robustness in various operational conditions. Using formal methods like hybrid automata allows rigorous analysis of synchronization precision and system behaviors under fault conditions.
2. What are the current advancements and optimization strategies for digital clock recovery (DCR) circuits targeting high-performance and energy-efficient data communications?
This theme covers the design, modeling, mathematical analysis, and implementation of digital clock recovery circuits optimized for low power, low complexity, and high data rates. These circuits are essential for synchronizing data sampling clocks with transmitted signals in modern communication systems, including cognitive radios, optical interconnects, and PAM-4 receivers. Research addresses challenges such as jitter reduction, stability, multi-channel architectures, and adaptation algorithms to enhance performance and energy efficiency.
3. How can optical clock recovery methods be utilized and enhanced to improve synchronization in high-speed optical communication networks?
This research theme investigates optical clock recovery (CR) techniques that extract timing signals directly in the optical domain for synchronization without converting to electrical signals. It encompasses active pulsating methods (like optical phase-locked loops), passive filtering using fiber Bragg gratings (FBG), Fabry-Perot filters, and their applications to high-speed optical networks, including data center interconnects and access networks. Enhancements focus on jitter reduction, scalability, flexibility in gridless networks, and BER improvement.