Towards Assured Autonomy with ROS

Over the last decade tremendous advances in technology have been made in constructing autonomous systems as evidenced by proliferation of a wide range of air, ground, and underwater vehicles. Despite these advances, adoption of such systems in safety-critical settings remains challenging due to the difficulty of developing rigorous techniques for establishing confidence in the behavior of these systems. In this talk, we will present how ROS and Gazebo are enabling the development of safety assurance tools for autonomous systems, and how these methods are being applied to a 1/10 scale open-source autonomous racing platform known as the F1Tenth.