rtamt4ros

Real-time monitoring tool for ROS applications that uses the rtamt library

Install back-ends

install ROS

Please see ROS web page.
kinectic + Ubuntu16.04: http://wiki.ros.org/kinetic/Installation/Ubuntu
melodic + Ubuntu18.04: http://wiki.ros.org/melodic/Installation/Ubuntu

install rtamt

Please see rtamt tool repository. https://github.com/nickovic/rtamt rtamt is considered as working on ROS, while the tool is very independent and flexisble from ROS.

Install rtamt for ROS

make catkin_ws

You can set-up catkin_ws at any place.

mkdir -p ~/catkin_ws/src
cd ~/catkin_ws/src
catkin_init_workspace

clone

add the rtamt for ROS repo on the src folder in catkin_ws.

cd ~/catkin_ws/src
git clone https://github.com/nickovic/rtamt4ros

build

cd ~/catkin_ws
catkin_make

Run

basic example

cd ~/catkin_ws
source devel/setup.sh
roslaunch rtamt4ros ros_stl_monitor.launch

API example

cd ~/catkin_ws
source devel/setup.sh
roslaunch rtamt4ros ros_stl_monitor_with_API.launch

distributed example

cd ~/catkin_ws
source devel/setup.sh
roslaunch rtamt4ros decomposed_spec.launch

rosbag example

cd ~/catkin_ws
source devel/setup.sh
roslaunch rtamt4ros ros_stl_monitor_with_rosbag.launch