2021/03/02 by André Santos, Alcino Cunha, Santos, André +3
Computer Science · #D.2.1 #D.2.4 #D.2.5 #D.2.8 #D.2.9 #FOS: Computer and information sciences #Robotics (cs.RO) #Software Engineering (cs.SE) #cs.RO #cs.SE
paper · pdf · doi:10.48550/arxiv.2103.01603
4 pages, 4 figures, to appear in: Proceedings of the 3rd International Workshop on Robotics Software Engineering (RoSE@ICSE 2021), Madrid, Spain
arxiv created 2021/03/02 · arxiv updated 2021/03/03
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 Robot Operating System (ROS). It builds on a static analysis foundation to automatically extract models from the source code. Such models are later used to enable other sorts of analyses, such as Model Checking, Runtime Verification, and Property-based Testing. It has been applied to multiple real-world examples, helping developers find and correct various issues.