Key research themes
1. How can statistical signal processing improve clock synchronization in Wireless Sensor Networks (WSNs)?
This research theme investigates the application of statistical signal processing techniques to achieve more accurate and efficient clock synchronization within WSNs. It addresses challenges of distributed, multi-hop environments and node-to-node synchronization, emphasizing methods that minimize communication overhead while maximizing synchronization accuracy and robustness to node imperfections.
2. What are current verification and modeling approaches to fault-tolerant clock synchronization algorithms?
This research theme examines formal verification methods and modeling frameworks designed to assure correct behavior of synchronization algorithms under faults. It particularly focuses on hybrid automata representations and benchmarks that simulate fault-tolerance in distributed real-time networks, showcasing how model checking and discrete event simulation can identify robustness and stability properties of synchronization protocols.
3. How can authenticated and secure time synchronization be achieved using Global Navigation Satellite Systems (GNSS)?
This research area analyzes the augmentation of GNSS-based time synchronization with cryptographic authentication mechanisms to mitigate vulnerabilities like spoofing. It explores protocols incorporating navigation message authentication and spreading code encryption to provide secure, trustworthy, and precise synchronization suitable for critical industrial, financial, and IoT applications requiring guaranteed signal authenticity.