Difference between revisions of "ROSRV"
Line 29: | Line 29: | ||
=====How to Install===== | =====How to Install===== | ||
− | * Run <font face=Courier>git clone --recursive https://github.com/ | + | * Run <font face=Courier>git clone --recursive https://github.com/cnserd/ROSRV.git</font> to check out the source code from the Github repository, including ROSMOP. |
* Add <font face=Courier><ROSRV_HOME>/bin</font> to your PATH. | * Add <font face=Courier><ROSRV_HOME>/bin</font> to your PATH. |
Revision as of 19:51, 4 March 2016
ROSRV is a runtime verification framework for the Robot Operating System (ROS). ROS is an open-source framework for robot software development, providing operating system-like functionality on a heterogeneous computer cluster. With the wide adoption of ROS, its safety and security are becoming an important problem.
ROSRV integrates seamlessly with ROS. Its two purposes are (1) monitoring safety properties and (2) enforcing security policies. Its core is a runtime monitoring infrastructure that intercepts, observes and optionally modifies messages passing through the system, to check system's runtime behavior against user-defined safety properties and perform desired actions. For automatic monitor generation out of formal specifications, ROSRV depends on ROSMOP. ROSRV regulates system state and execution of commands by enforcing a user-defined access control policy to address security concerns.
Download
Download the source code |
Prerequisites |
(Our framework currently works on Ubuntu 12.04 with ROS Groovy distribution release)
How to Install
- Run git clone --recursive https://github.com/cnserd/ROSRV.git to check out the source code from the Github repository, including ROSMOP.
- Add <ROSRV_HOME>/bin to your PATH.
- Run
cd <ROSRV_HOME>
catkin_make
- Make sure the target package builds successfully.
You can read more about how to use ROSRV here.
Bug Report
If you experience any problems with ROSRV, please open a new issue on the Issues Page of the project.
Publications
- ROSRV: Runtime Verification for Robots
- Jeff Huang and Cansu Erdogan and Yi Zhang and Brandon Moore and Qingzhou Luo and Aravind Sundaresan and Grigore Rosu
RV'14, LNCS 8734, pp 247-254. 2014
PDF, Slides(PPTX), Slides(PDF), ROSRV, DOI, RV'14, BIB
Demo
Watch our demo to see how monitors interact with the robot LandShark UGV: