Skip to content

Latest commit

 

History

History
31 lines (23 loc) · 1.29 KB

README.md

File metadata and controls

31 lines (23 loc) · 1.29 KB

ROSRV Overview

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.

Installation

To install and build ROSRV, please refer to INSTALL.md for instructions.

Testing

Run ./Test. Additional arguments are passed to pytest.

Usage

Refer to docs/Usage.md for detailed instructions on how to use ROSRV.