Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/68522Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Santos, André Fernandes | por |
| dc.contributor.author | Cunha, Alcino | por |
| dc.contributor.author | Macedo, Nuno | por |
| dc.date.accessioned | 2020-12-11T17:33:35Z | - |
| dc.date.available | 2020-12-11T17:33:35Z | - |
| dc.date.issued | 2019-03 | - |
| dc.identifier.citation | Santos, A., Cunha, A., & Macedo, N. (2019, February). Static-time extraction and analysis of the ROS computation graph. In 2019 Third IEEE International Conference on Robotic Computing (IRC) (pp. 62-69). IEEE | por |
| dc.identifier.isbn | 978-1-5386-9246-2 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/68522 | - |
| dc.description.abstract | The Robot Operating System (ROS) is one of the most popular open source robotic frameworks, and has contributed significantly to the fast development of robotics. Even though ROS provides many ready-made components, a robotic system is inherently complex, in particular regarding the architecture and orchestration of such components. Availability and analysis of a system's architecture at compile time is fundamental to ease comprehension and development of higher-quality software. However, ROS developers have to overcome this complexity relying mostly on testing and runtime visualisers. This work aims to enhance static-time support by proposing, firstly, a metamodel to describe the software architecture of ROS systems (the ROS Computation Graph) and, secondly, model extraction and visualisation tools for such architectural models. The provided tools allow users to specify custom-made queries over these models, enabling the static verification of relevant properties that had to be (manually) checked at runtime before. | por |
| dc.description.sponsorship | ERDF - European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT -Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583) | por |
| dc.language.iso | eng | por |
| dc.publisher | Institute of Electrical and Electronics Engineers | por |
| dc.rights | openAccess | por |
| dc.subject | Robotics | por |
| dc.subject | Software architecture | por |
| dc.subject | Software quality | por |
| dc.subject | Static analysis | por |
| dc.title | Static-Time extraction and analysis of the ROS computation graph | por |
| dc.type | conferencePaper | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | https://ieeexplore.ieee.org/abstract/document/8675667 | por |
| oaire.citationStartPage | 62 | por |
| oaire.citationEndPage | 69 | por |
| oaire.citationConferencePlace | Naples, Italy | por |
| dc.date.updated | 2020-12-11T15:29:18Z | - |
| dc.identifier.doi | 10.1109/IRC.2019.00018 | por |
| dc.identifier.eisbn | 978-1-5386-9245-5 | - |
| dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
| dc.subject.wos | Science & Technology | - |
| sdum.export.identifier | 7592 | - |
| sdum.conferencePublication | Proceedings - 3rd IEEE International Conference on Robotic Computing, IRC 2019 | por |
| sdum.bookTitle | 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019) | por |
| Aparece nas coleções: | ||
