ROSMOP

From FSL
Jump to: navigation, search

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.

  • 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.

Personal tools
Namespaces

Variants
Actions
Navigation