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 …

Assumptions and guarantees for composable models in papyrus for robotics

J Martinez, A Ruiz, A Radermacher… - 2021 IEEE/ACM 3rd …, 2021 - ieeexplore.ieee.org
The separation of concerns helps to manage the intrinsic complexity of defining robotics
components, systems and missions. This separation of concerns is supported by the Rob …