Saeid Dehnavi
Papers
3
Total Citations
19
H-Index
2
About
Saeid Dehnavi is a researcher at the forefront of real-time embedded robotics, with a focus on making the Robot Operating System (ROS) suitable for safety-critical applications. His work addresses the fundamental challenge of deploying ROS2 in environments where timing guarantees are essential, particularly in cyber-physical systems like autonomous robots and avionics. Dehnavi’s major contributions include the development of **CompROS**, a composable architecture that enables real-time performance on ROS2 by tackling issues like non-real-time hardware and lack of host control. This work, with 11 citations, provides a practical framework for engineers building dependable robotic systems. He has also pioneered an actor-based approach using the Rebeca language to formally verify ROS programs, bridging the gap between design and correctness in robotic software. Additionally, Dehnavi has advanced the theory of publish-subscribe communication by introducing a wait-free FIFO channel for MPSoC platforms, ensuring analyzable and predictable data flow in concurrent real-time applications. His research is pivotal for industries requiring both the flexibility of ROS and the rigor of real-time systems, making him a key figure in the evolution of embedded robotics.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3