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 |
