Runtime Verification and Field-based Testing for ROS-based Robotic Systems

R Caldas, JAP García, M Schiopu… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

Runtime verification and field testing for ros-based robotic systems

R Caldas, JA Piñera García, M Schiopu… - arxiv e …, 2024 - ui.adsabs.harvard.edu
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

Self-Debugging Robots: Fault recovery through reasoning and planning

C Thierauf, M Scheutz - 2024 Resilience Week (RWS), 2024 - ieeexplore.ieee.org
Unexpected perturbations in an open-world task environment can cause various types of
faults and failures which have to be dealt with to ensure long-term autonomous operation …

A case study on improving the software dependability of a ROS path planner for steep slope vineyards

LC Santos, A Santos, FN Santos, A Valente - Robotics, 2021 - mdpi.com
Software for robotic systems is becoming progressively more complex despite the existence
of established software ecosystems like ROS, as the problems we delegate to robots …

Safety verification for ros software

AFF Santos - 2021 - repositorium.sdum.uminho.pt
Robots are now part of our daily lives and their usefulness is, seemingly, never-ending. They
manufacture our goods, harvest our crops and drive us from place to place. Innovation in the …

Safety Verification for ROS Software

AFF dos Santos - 2021 - search.proquest.com
Os robôs são agora parte do nosso quotidiano ea sua utilidade parece não ter limites.
Fabricam os nossos bens, colhem alimentos de plantações e conduzem-nos de um lugar …

Architectures délibératives pour la robotique autonome-des algorithmes au logiciel embarqué

C Lesire - 2019 - hal.science
Résumé Un système robotique autonome repose sur de nombreuses fonctions, de
perception, d'actionnement, de commande. L'autonomie nécessite de plus des processus …