back icon
close icon

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Conference Paper  September 1, 2014

ROSRV: Runtime Verification for Robots

SRI Authors Aravind Sundaresan



Huang, J., Erdogan, C., Yi, Z., Moore, B., Luo, Q., Sundaresan, A., & Rosu, G. (2014, 22-25 September). ROSRV: runtime verification for robots. Paper presented at the Runtime Verification International Conference (RV’14), Toronto, Ontario, Canada.


We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development. ROSRV aims to address the safety and security issues of robots by providing a transparent monitoring infrastructure that intercepts and monitors the commands and messages passing through the system. Safety and security properties can be defined in a formal specification language, and are ensured by automatically generated monitors. ROSRV integrates seamlessly with ROS—no change in ROS nor the application code is needed. ROSRV has been applied and evaluated on a commercial robot.

How can we help?

    Once you hit send…

    We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.

    Our Privacy Policy