The High-Assurance ROS Framework

doi:10.1109/RoSE52553.2021.00013

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/89203

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Santos, André	por
dc.contributor.author	Cunha, Alcino	por
dc.contributor.author	Macedo, Nuno	por
dc.date.accessioned	2024-02-29T20:39:59Z	-
dc.date.available	2024-02-29T20:39:59Z	-
dc.date.issued	2021	-
dc.identifier.citation	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.	por
dc.identifier.isbn	9781665444743	por
dc.identifier.issn	978-1-6654-4475-0	-
dc.identifier.uri	https://hdl.handle.net/1822/89203	-
dc.description.abstract	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.	por
dc.description.sponsorship	This work is financed by the 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	IEEE	por
dc.relation	info:eu-repo/grantAgreement/FCT/9471 - RIDTI/PTDC%2FCCI-INF%2F29583%2F2017/PT	por
dc.rights	openAccess	por
dc.subject	lightweight formal methods	por
dc.subject	robot operating system	por
dc.subject	software engineering	por
dc.subject	static analysis	por
dc.title	The High-Assurance ROS Framework	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	https://ieeexplore.ieee.org/document/9474545	por
oaire.citationStartPage	37	por
oaire.citationEndPage	40	por
dc.date.updated	2024-02-10T07:37:44Z	-
dc.identifier.doi	10.1109/RoSE52553.2021.00013	por
dc.identifier.eisbn	978-1-6654-4474-3	-
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
dc.subject.fos	Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática	por
dc.subject.wos	Science & Technology	-
sdum.export.identifier	13217	-
sdum.conferencePublication	Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021	por
sdum.bookTitle	2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021)	por
oaire.version	AM	por
Aparece nas coleções:	HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
RoSE21.pdf		442,78 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics