How do you architect your robots? State of the practice and guidelines for ROS-based systems

I Malavolta, G Lewis, B Schmerl, P Lago… - Proceedings of the ACM …, 2020 - dl.acm.org
The Robot Operating System (ROS) is the de-facto standard for robotic software. If on one
hand ROS is helping roboticists, eg, by providing a standardized communication platform …

Message flow analysis with complex causal links for distributed ROS 2 systems

C Bédard, PY Lajoie, G Beltrame… - Robotics and Autonomous …, 2023 - Elsevier
Distributed robotic systems rely heavily on the publish–subscribe communication paradigm
and middleware frameworks that support it, such as the Robot Operating System (ROS), to …

Mining guidelines for architecting robotics software

I Malavolta, GA Lewis, B Schmerl, P Lago… - Journal of Systems and …, 2021 - Elsevier
Abstract Context: The Robot Operating System (ROS) is the de-facto standard for robotics
software. However, ROS-based systems are getting larger and more complex and could …

Rosdiscover: Statically detecting run-time architecture misconfigurations in robotics systems

CS Timperley, T Dürschmid, B Schmerl… - 2022 IEEE 19th …, 2022 - ieeexplore.ieee.org
Robot systems are growing in importance and complexity. Ecosystems for robot software,
such as the Robot Operating System (ROS), provide libraries of reusable software …

Verification of system-wide safety properties of ROS applications

R Carvalho, A Cunha, N Macedo… - 2020 IEEE/RSJ …, 2020 - ieeexplore.ieee.org
Robots are currently deployed in safety-critical domains but proper techniques to assess the
functional safety of their software are yet to be adopted. This is particularly critical in ROS …

ROBUST: 221 bugs in the Robot Operating System

CS Timperley, G van der Hoorn, A Santos… - Empirical Software …, 2024 - Springer
As robotic systems such as autonomous cars and delivery drones assume greater roles and
responsibilities within society, the likelihood and impact of catastrophic software failure …

Software architecture and task plan co-adaptation for mobile service robots

J Cámara, B Schmerl, D Garlan - Proceedings of the IEEE/ACM 15th …, 2020 - dl.acm.org
Self-adaptive systems increasingly need to reason about and adapt both structural and
behavioral system aspects, such as in mobile service robots, which must reason about …

ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems

T Dürschmid, CS Timperley, D Garlan… - Proceedings of the IEEE …, 2024 - dl.acm.org
Robotics systems are complex, safety-critical systems that can consist of hundreds of
software components that interact with each other dynamically during run time. Software …

Ros-fm: Fast monitoring for the robotic operating system (ros)

S Rivera, AK Iannillo, S Lagraa, C Joly… - … on Engineering of …, 2020 - ieeexplore.ieee.org
In this paper, we leverage the newly integrated extended Berkely Packet Filters (eBPF) and
eXpress Data Path (XDP) to build ROS-FM, a high-performance inline network-monitoring …

Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime

N Hammoudeh García, H Deshpande, A Santos… - Software and Systems …, 2021 - Springer
Abstract Model-driven engineering (MDE) addresses central aspects of robotics software
development. MDE could enable domain experts to leverage the expressiveness of models …