All Projects → git-afsantos → haros

git-afsantos / haros

Licence: MIT license
H(igh) A(ssurance) ROS - Static analysis of ROS application code.

Programming Languages

python
139335 projects - #7 most used programming language
javascript
184084 projects - #8 most used programming language
HTML
75241 projects
CSS
56736 projects

Projects that are alternatives of or similar to haros

phpstan
PHP Static Analysis in Github Actions.
Stars: ✭ 41 (-75.6%)
Mutual labels:  static-analysis, quality-assurance
dockeROS
Simply running ros nodes in docker containers on remote robots.
Stars: ✭ 71 (-57.74%)
Mutual labels:  ros
vicon
Code for working with the Vicon tracking system
Stars: ✭ 20 (-88.1%)
Mutual labels:  ros
drl grasping
Deep Reinforcement Learning for Robotic Grasping from Octrees
Stars: ✭ 160 (-4.76%)
Mutual labels:  ros
vapor master
high availability ros master
Stars: ✭ 17 (-89.88%)
Mutual labels:  ros
ackermann-drive-teleop
ROS keyboard and joystick teleoperation scripts for robots with ackermann steering
Stars: ✭ 33 (-80.36%)
Mutual labels:  ros
robotiq 2finger grippers
ROS packages enabling the control, visualization and simulation of the Robotiq 2 Fingers Adaptive Grippers model version C3
Stars: ✭ 59 (-64.88%)
Mutual labels:  ros
coding-notes
I'm compiling comprehensive coding tutorials for many different languages and frameworks! 🐲
Stars: ✭ 201 (+19.64%)
Mutual labels:  ros
roskinectic src
This ROS kinectic workspace src folder, which was created on Ubuntu 16.04. Here I worked on ROS1 projects like 2d & 3D SLAM, Motion Planning, SWARM of drone, RL based drone, Surveilling Robot etc.
Stars: ✭ 44 (-73.81%)
Mutual labels:  ros
firehose
Interchange format for results for static analysis tools
Stars: ✭ 62 (-63.1%)
Mutual labels:  static-analysis
arm
Robot arm simulation using Gazebo, ROS Control and MoveIt.
Stars: ✭ 79 (-52.98%)
Mutual labels:  ros
aws-robomaker-hospital-world
This Gazebo world is well suited for organizations who are building and testing robot applications in hospitals.
Stars: ✭ 114 (-32.14%)
Mutual labels:  ros
magni robot
Starting point for Magni Robots. Includes launch files and configuration.
Stars: ✭ 33 (-80.36%)
Mutual labels:  ros
DDPG
End to End Mobile Robot Navigation using DDPG (Continuous Control with Deep Reinforcement Learning) based on Tensorflow + Gazebo
Stars: ✭ 41 (-75.6%)
Mutual labels:  ros
Cpp2IL
Work-in-progress tool to reverse unity's IL2CPP toolchain.
Stars: ✭ 689 (+310.12%)
Mutual labels:  static-analysis
riptide setup
The software packages which power The OSU Underwater Robotics Team's AUV.
Stars: ✭ 31 (-81.55%)
Mutual labels:  ros
constyble
CSS complexity linter
Stars: ✭ 92 (-45.24%)
Mutual labels:  static-analysis
tr1 hardware interface
Hardware interface for ros_control for the TR1.
Stars: ✭ 29 (-82.74%)
Mutual labels:  ros
FS19 modROS
(partial) ROS1 integration for FarmSim19
Stars: ✭ 45 (-73.21%)
Mutual labels:  ros
my ROS mobile robot
Differential drive mobile robot using ROS.
Stars: ✭ 123 (-26.79%)
Mutual labels:  ros

DOI

HAROS

HAROS is a framework for quality assurance of ROS-based code, mostly based on static analysis - which consists on extracting information from the source code without executing it (and, sometimes, even without compiling it). Its main goal is the early detection of problems in the software development life cycle, which would otherwise go unnoticed into later stages or even into production.

Try it yourself: there is a demo page of the HAROS visualizer available on GitHub.

Tutorials: on GitHub and on YouTube.

More info: short video presentation on YouTube.

Current Status

HAROS is still being developed, as of August 2021. Help improve HAROS by participating in a short user survey.

Installing

See INSTALL for installation methods and instructions.

How to Use

See USAGE for basic commands and usage instructions.

Bugs, Questions and Support

Check whether your question has an answer in the FAQ.

Please use the issue tracker for issues or feature requests directly related to HAROS.

For issues related to plugins, please use the respective plugin repository.

If you run into errors, or feel that something is not working, run HAROS in debug mode, so the log files do not miss any information, e.g.,

haros --debug analyse ...

Then, you can share the log file, found by default within ~/.haros/log.txt.

Citing

See CITING.

Contributing

See CONTRIBUTING.

Acknowledgment

Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583).

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].