A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Verification of system-wide safety properties of ROS applications
2020
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Robots are currently deployed in safety-critical domains but proper techniques to assess the functional safety of their software are yet to be adopted. This is particularly critical in ROS, where highly configurable robots are built by composing third-party modules. To promote adoption, we advocate the use of lightweight formal methods, automatic techniques with minimal user input and intuitive feedback. This paper proposes a technique to automatically verify system-wide safety properties of
doi:10.1109/iros45743.2020.9341085
fatcat:eiqk3a5nvra7tinl4sy3rn6ffa