The High-Assurance ROS Framework

André Santos, Alcino Cunha, Nuno Macedo

This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Ro…