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 …
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 …
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
MG Saadat, A Ferrando, LA Dennis… - arXiv preprint arXiv …, 2024 - arxiv.org
Formal verification of robotic applications presents challenges due to their hybrid nature and
distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of …
distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of …
Intrusion Detection System for Robot Operating System using Hybrid Deep learning
V Ravi - 2024 8th International Conference on Electronics …, 2024 - ieeexplore.ieee.org
Robot operating system (RobotOS) has become an important standard middleware in
industry and non-industrial sectors in modern world. Attacks to the RobotOS and its networks …
industry and non-industrial sectors in modern world. Attacks to the RobotOS and its networks …