Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2

Jahid Chowdhury Choton, Lipsy Gupta, Pavithra Prabhakar

The Robot Operating System (ROS) is one of the most popular middleware for developing robot applications, but it is subject to major shortcomings when applied to real-time robotic…