Verification of system-wide safety properties of ROS applications

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2020

Autores

Carvalho, R (Autor) Outra; Cunha, A (Autor) Outra; Macedo, N (Autor) FEUP; Santos, A (Autor) Outra

Ata de Conferência Internacional

Título: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021

Páginas: 7249-7254

Indexação

ISI Web of Knowledge - 3 Citações

Scopus - 4 Citações

Outras Informações

ID Authenticus: P-00T-J78

DOI: 10.1109/iros45743.2020.9341085

Abstract (EN): 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 ROS-based applications at static time. It is based in the formalization of ROS architectural models and node behaviour in Electrum, over which system-wide specifications are subsequently model checked. To automate the analysis, it is deployed as a plug-in for HAROS, a framework for the assessment of ROS software quality aimed at the ROS community. The technique is evaluated in a real robot, AgRob V16, with positive results.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 6