Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/89203
Título: | The High-Assurance ROS Framework |
Autor(es): | Santos, André Cunha, Alcino Macedo, Nuno |
Palavras-chave: | lightweight formal methods robot operating system software engineering static analysis |
Data: | 2021 |
Editora: | IEEE |
Citação: | A. Santos, A. Cunha and N. Macedo, "The High-Assurance ROS Framework," 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE), Madrid, Spain, 2021, pp. 37-40, doi: 10.1109/RoSE52553.2021.00013. |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/89203 |
ISBN: | 9781665444743 |
e-ISBN: | 978-1-6654-4474-3 |
DOI: | 10.1109/RoSE52553.2021.00013 |
ISSN: | 978-1-6654-4475-0 |
Versão da editora: | https://ieeexplore.ieee.org/document/9474545 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
RoSE21.pdf | 442,78 kB | Adobe PDF | Ver/Abrir |