Publicação
Encoding and analysis of variational ROS computation graphs
| Resumo: | In robotic applications, it is common to develop several variants of the same system (also known as a software product line), for example, to support different configurations of a robot. ROS is the most popular framework for developing robotic applications, where each application is implemented as a distributed system of computation nodes that communicate through message passing. HAROS is a framework for static analysis of ROS-based code. It can extract an abstract model of a ROS system’s architecture (called the computation graph) and perform an analysis on that model. However, it can only analyse one configuration at a time. In this thesis, we present three different approaches for encoding various ROS computation graphs in a single variational data structure, which contains the information related to the whole system and not just a configura tion. Additionally, we also define a variational execution algorithm for each approach, along with a small query language, so that we can query and perform some analysis on said data structures. Lastly, we evaluate these algorithms and data structures so that we can reach some conclusions on which approaches work best, and in what conditions. |
|---|---|
| Autores principais: | Moura, Pedro Rafael Paiva |
| Assunto: | Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| Ano: | 2022 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1866875831785095168 |
|---|---|
| author | Moura, Pedro Rafael Paiva |
| author_facet | Moura, Pedro Rafael Paiva |
| author_role | author |
| contributor_name_str_mv | Cunha, Alcino Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Moura, Pedro Rafael Paiva\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Cunha, Alcino Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Moura, Pedro Rafael Paiva |
| datacite.date.Accepted.fl_str_mv | 2022-05-25T00:00:00Z |
| datacite.date.available.fl_str_mv | 2022-10-13T15:49:53Z |
| datacite.date.embargoed.fl_str_mv | 2022-10-13T15:49:53Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| datacite.titles.title.fl_str_mv | Encoding and analysis of variational ROS computation graphs |
| dc.contributor.none.fl_str_mv | Cunha, Alcino Universidade do Minho |
| dc.creator.none.fl_str_mv | Moura, Pedro Rafael Paiva |
| dc.date.Accepted.fl_str_mv | 2022-05-25T00:00:00Z |
| dc.date.available.fl_str_mv | 2022-10-13T15:49:53Z |
| dc.date.embargoed.fl_str_mv | 2022-10-13T15:49:53Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/80123 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.cclincense.fl_str_mv | http://creativecommons.org/licenses/by/4.0/ |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.rights.rights.copyright.fl_str_mv | openAccess |
| dc.subject.none.fl_str_mv | Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| dc.title.fl_str_mv | Encoding and analysis of variational ROS computation graphs |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_bdcc |
| description | In robotic applications, it is common to develop several variants of the same system (also known as a software product line), for example, to support different configurations of a robot. ROS is the most popular framework for developing robotic applications, where each application is implemented as a distributed system of computation nodes that communicate through message passing. HAROS is a framework for static analysis of ROS-based code. It can extract an abstract model of a ROS system’s architecture (called the computation graph) and perform an analysis on that model. However, it can only analyse one configuration at a time. In this thesis, we present three different approaches for encoding various ROS computation graphs in a single variational data structure, which contains the information related to the whole system and not just a configura tion. Additionally, we also define a variational execution algorithm for each approach, along with a small query language, so that we can query and perform some analysis on said data structures. Lastly, we evaluate these algorithms and data structures so that we can reach some conclusions on which approaches work best, and in what conditions. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| fulltext.url.fl_str_mv | https://prod-dspace.uminho.pt/bitstreams/56bca712-7351-4c23-9139-343c78e6694b/download |
| id | rum_a35ca6dcd7befb536f8b636a5673d5cb |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/80123 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/80123 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Moura, Pedro Rafael Paiva |
| publishDate | 2022 |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engporIn robotic applications, it is common to develop several variants of the same system (also known as a software product line), for example, to support different configurations of a robot. ROS is the most popular framework for developing robotic applications, where each application is implemented as a distributed system of computation nodes that communicate through message passing. HAROS is a framework for static analysis of ROS-based code. It can extract an abstract model of a ROS system’s architecture (called the computation graph) and perform an analysis on that model. However, it can only analyse one configuration at a time. In this thesis, we present three different approaches for encoding various ROS computation graphs in a single variational data structure, which contains the information related to the whole system and not just a configura tion. Additionally, we also define a variational execution algorithm for each approach, along with a small query language, so that we can query and perform some analysis on said data structures. Lastly, we evaluate these algorithms and data structures so that we can reach some conclusions on which approaches work best, and in what conditions.application/pdfporEncoding and analysis of variational ROS computation graphsMoura, Pedro Rafael PaivaCunha, AlcinoHostingInstitutionOrganizationalUniversidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptURNurn:tid:2030230052022-10-13T15:49:53Z2022-05-252022-022022-05-25T00:00:00ZHandlehttps://hdl.handle.net/1822/80123http://purl.org/coar/access_right/c_abf2open accessVariabilityVariational softwareVariational data structuresVariational query languagesRoboticsSoftware product lines1203874 bytesliteraturehttp://purl.org/coar/resource_type/c_bdccmaster thesis2022-05-25http://creativecommons.org/licenses/by/4.0/openAccesshttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://prod-dspace.uminho.pt/bitstreams/56bca712-7351-4c23-9139-343c78e6694b/download |
| spellingShingle | Encoding and analysis of variational ROS computation graphs Moura, Pedro Rafael Paiva Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| status | SINGLETON |
| subject.fl_str_mv | Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| title | Encoding and analysis of variational ROS computation graphs |
| title_full | Encoding and analysis of variational ROS computation graphs |
| title_fullStr | Encoding and analysis of variational ROS computation graphs |
| title_full_unstemmed | Encoding and analysis of variational ROS computation graphs |
| title_short | Encoding and analysis of variational ROS computation graphs |
| title_sort | Encoding and analysis of variational ROS computation graphs |
| topic | Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| topic_facet | Variability Variational software Variational data structures Variational query languages Robotics Software product lines |
| url | https://hdl.handle.net/1822/80123 |
| visible | 1 |