ROSMOP

ROSMOP is an instance of MOP for the Robot Operating System (ROS).

Download

Download the source code ROSMOP on GitHub

Prerequisites Git (1.8 or later) Java Development Kit (JDK) (7 or later) Ant (1.8 or later) JavaCC (5 or later) Runtime Verification Monitor (RV-Monitor) (1.3 or later)

How to Install

ROSMOP currently works integrated with ROSRV. If you have already checked out the ROSRV source code on GitHub by using the --recursive option, you do not have to check out the ROSMOP source code again.

• Run git clone https://github.com/Formal-Systems-Laboratory/rosmop.git to check out the source code from the Github repository.

• Add <rosmop_HOME>/bin to your PATH.

• Run

cd <rosmop_HOME>
ant

• Make sure the build is successful.

You can read more about how to use ROSMOP here and refer to ROSMOP Syntax for a better understanding of the specification language.

Bug Report

If you experience any problems with ROSMOP, please open a new issue on the Issues Page of the project.