Publication
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
| dc.contributor.author | Nandi, Giann | |
| dc.contributor.author | Pereira, David | |
| dc.contributor.author | Proenca, José | |
| dc.contributor.author | Santos, José | |
| dc.contributor.author | Rodrigues, Lourenço A. | |
| dc.contributor.author | Lourenço, André | |
| dc.contributor.author | Tovar, Eduardo | |
| dc.date.accessioned | 2023-01-20T15:52:04Z | |
| dc.date.available | 2023-01-20T15:52:04Z | |
| dc.date.issued | 2022-12-05 | |
| dc.description.abstract | This work discusses the ongoing development of a toolset named MARS aimed to ease the process of safely deploying runtime verification monitors into distributed micro-ROS and ROS2 nodes. The work is motivated by a use case in the health and automotive domains and covers safety/security concerns around the manipulation of sensitive biometric data. | pt_PT |
| dc.description.sponsorship | This work was partially supported by National Funds through FCT/MCTES (Portuguese Foundation for Science and Technology), within the CISTER Research Unit (UIDP/UIDB/04234/2020); also by FCT within project ECSEL/0016/2019 and from the ECSEL Joint Undertaking (JU) under grant agreement No 876852. The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey. We would also like to thank Antonio Rodriguez and Pablo Garrido from eProsima for their collaboration in development of the secure custom transport layer of MARS. Disclaimer: This document reflects only the author’s view and the Commission is not responsible for any use that may be made of the information it contains) | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.26537/72dn-y150 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/21740 | |
| dc.language.iso | eng | pt_PT |
| dc.relation | UIDP/UIDB/04234/2020 | pt_PT |
| dc.relation | Verification and Validation of Automated Systems' Safety and Security | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
| dc.subject | Safety | pt_PT |
| dc.subject | Security | pt_PT |
| dc.subject | Runtime Verification | pt_PT |
| dc.subject | ROS2 | pt_PT |
| dc.subject | Micro-ROS | pt_PT |
| dc.title | MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems | pt_PT |
| dc.title.alternative | 221101 | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Verification and Validation of Automated Systems' Safety and Security | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/3599-PPCDT/ECSEL%2F0016%2F2019/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/H2020/876852/EU | |
| oaire.citation.conferencePlace | Houston, USA, December 5-8, 2022 | pt_PT |
| oaire.citation.title | 43rd IEEE Real-Time Systems Symposium, RTSS 2022 | pt_PT |
| oaire.fundingStream | 3599-PPCDT | |
| oaire.fundingStream | H2020 | |
| person.familyName | Proenca | |
| person.familyName | Tovar | |
| person.givenName | Jose | |
| person.givenName | Eduardo | |
| person.identifier.ciencia-id | 2412-FE81-2767 | |
| person.identifier.ciencia-id | 6017-8881-11E8 | |
| person.identifier.orcid | 0000-0003-0971-8919 | |
| person.identifier.orcid | 0000-0001-8979-3876 | |
| person.identifier.rid | K-4256-2016 | |
| person.identifier.scopus-author-id | 24067286500 | |
| person.identifier.scopus-author-id | 7006312557 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | European Commission | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isAuthorOfPublication | 80b63d8a-2e6d-484e-af3c-55849d0cb65e | |
| relation.isAuthorOfPublication.latestForDiscovery | 80b63d8a-2e6d-484e-af3c-55849d0cb65e | |
| relation.isProjectOfPublication | 43bf0ece-7313-48dc-bc45-10ce83b59819 | |
| relation.isProjectOfPublication | 1b3082bd-64c8-41d8-9f32-bb7f4b0d7bde | |
| relation.isProjectOfPublication.latestForDiscovery | 43bf0ece-7313-48dc-bc45-10ce83b59819 |