Verification of system-wide safety properties of ROS applications
Renato Carvalho,Alcino Cunha,Nuno Macedo,André Santos,Renato Carvalho,Alcino Cunha,Nuno Macedo,André Santos
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 fe...
