cmu-rss-lab / rosdiscover
☆15Updated 9 months ago
Related projects: ⓘ
- A dataset of 200+ bugs in the Robot Operating System for BugZoo☆30Updated 6 months ago
- ROSMonitoring: a Runtime Verification Framework for ROS☆37Updated last month
- Phriky Units - Physical units inconsistency detection tool for C++, especially for ROS☆22Updated 5 years ago
- ☆17Updated 3 years ago
- benchmark problems for research in formal methods for robotics☆14Updated 2 months ago
- An automatic fuzzing tool for ROS 2 C++ projects☆10Updated 3 years ago
- Docker images to facilitate Docker-based development.☆20Updated last week
- ☆31Updated last month
- Parametric nonlinear battery model for ROS robot simulations in Gazebo☆35Updated 2 years ago
- Common testing tools for C++ which are used for testing in various OSRF projects.☆33Updated 2 months ago
- ☆16Updated 4 years ago
- A gazebo plugin definable from URDF to inform a client of a collision with an object☆20Updated 4 years ago
- ☆23Updated 4 years ago
- The Space ROS documentation site.☆9Updated 4 months ago
- A collection of worlds for UAV testing☆19Updated 4 years ago
- ROS safety working group repository☆36Updated 2 years ago
- Replication package of the paper titled "How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems" pu…☆100Updated 4 years ago
- Various Space ROS demos.☆24Updated last week
- ROS 2 library providing classes to collect measurements and calculate statistics across them.☆31Updated last month
- Parses a Petri net and runs it☆21Updated this week
- The Robotics Language is an open compiler where users can develop languages to generate ROS code☆60Updated 4 years ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆15Updated last month
- Generic plugin architecture for message transport☆19Updated 11 years ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆11Updated 2 years ago
- ROS package dependency scanner☆10Updated 4 years ago
- Robot navigation algorithms implemented in SPARK☆11Updated 10 years ago
- GDB support for republishing ROS messages in an rr replay☆11Updated 5 years ago
- ROS2 node that collects metrics about system resource consumption and publishes them to a topic to be emitted to CloudWatch Metrics.☆16Updated 2 years ago
- Maintains a bond (i.e. heart beat ) between ROS nodes and provides feedback when the bond is broken☆35Updated 2 months ago
- ☆12Updated 2 years ago