The High-Assurance ROS Framework
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- arXiv:
- arXiv:2103.01603
- Bibcode:
- 2021arXiv210301603S
- Keywords:
-
- Computer Science - Software Engineering;
- Computer Science - Robotics;
- D.2.1;
- D.2.4;
- D.2.5;
- D.2.8;
- D.2.9
- E-Print:
- 4 pages, 4 figures, to appear in: Proceedings of the 3rd International Workshop on Robotics Software Engineering (RoSE@ICSE 2021), Madrid, Spain