Difference between revisions of "ROSMOP"

From FSL
Jump to: navigation, search
 
Line 10: Line 10:
 
<td width=170 align=left valign=top>
 
<td width=170 align=left valign=top>
 
<b>Download the source code</b><br>
 
<b>Download the source code</b><br>
<a href="https://github.com/cnserd/rosmop">ROSMOP on GitHub</a><br>
+
<a href="https://github.com/Formal-Systems-Laboratory/rosmop.git">ROSMOP on GitHub</a><br>
 
</td>
 
</td>
 
<td width=20>
 
<td width=20>
Line 29: Line 29:
 
<font face=Courier>--recursive</font> option, you do not have to check out the ROSMOP source code again.
 
<font face=Courier>--recursive</font> option, you do not have to check out the ROSMOP source code again.
  
* Run <font face=Courier>git clone https://github.com/cnserd/rosmop.git</font> to check out the source code from the Github repository.
+
* Run <font face=Courier>git clone https://github.com/Formal-Systems-Laboratory/rosmop.git</font> to check out the source code from the Github repository.
  
 
* Add <font face=Courier><rosmop_HOME>/bin</font> to your PATH.
 
* Add <font face=Courier><rosmop_HOME>/bin</font> to your PATH.
Line 41: Line 41:
 
* Make sure the build is successful.
 
* Make sure the build is successful.
  
You can read more about how to use ROSMOP [https://github.com/cnserd/rosmop/blob/master/docs/Usage.md here] and refer to [[ROSMOP_Syntax|ROSMOP Syntax]] for a better understanding of the specification language.
+
You can read more about how to use ROSMOP [https://github.com/Formal-Systems-Laboratory/rosmop/blob/master/docs/Usage.md here] and refer to [[ROSMOP_Syntax|ROSMOP Syntax]] for a better understanding of the specification language.
  
 
===Bug Report===
 
===Bug Report===
 
If you experience any problems with ROSMOP, please open a new issue on the [https://github.com/runtimeverification/rosmop/issues Issues Page] of the project.
 
If you experience any problems with ROSMOP, please open a new issue on the [https://github.com/runtimeverification/rosmop/issues Issues Page] of the project.

Latest revision as of 04:02, 5 March 2016

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